oppenheimer and zalta, in a co-authored paper, argue that the anselm’s ontological argument can be formalized based on free logic and the concept of conceivability. according to their version, there are only two premises in anselm’s argument. we will argue that one can extend their formalization by introducing an argument for one of the two premises based on anselm’s text. we will also show tha...

We derive a posteriori error estimates for nonconforming discretizations of Poisson's and Stokes' equations. The estimates are residual based and make use of weight factors obtained by a duality argument. Crouzeix-Raviart elements on triangles and rotated bilinear elements are considered. The quadrilateral case involves the introduction of additional local trial functions. We show that their in...