Results for 'MSC (2010) 03E40 (03E70)'

Order:
  1.  51
    Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.
    In this paper we define the forcing relation and prove its basic properties in the context of the theory ZFCA, i.e., ZFC minus the Foundation axiom and plus the Anti-Foundation axiom.
    Direct download  
     
    Export citation  
     
    Bookmark