Results for 'model MSC (2010) 03E70'

Order:
  1.  22
    Non‐well‐founded extensions of documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$mathbf {V}$end{document}.William R. Brian - 2013 - Mathematical Logic Quarterly 59 (3):167-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  25
    On a positive set theory with inequality.Giacomo Lenzi - 2011 - Mathematical Logic Quarterly 57 (5):474-480.
    We introduce a quite natural Frege-style set theory, which we call Strong-Frege-2 equation image, a sort of simplification of the theory considered in 13 and 1 . We give a model of a weaker variant of equation image, called equation image, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π11 sets of natural numbers; such an enumeration can be obtained via a classical priority argument much in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark