Switch to: References

Add citations

You must login to add citations.
  1. Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
    A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our results include the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Canonical Truth.Merlin Carl & Philipp Schlicht - 2022 - Axiomathes 32 (3):785-803.
    We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model M of ZFC that is uniquely characterized by some $$\in$$ ∈ -formula. We show that there are interesting statements that hold in all such models, but do not follow from ZFC, such as the ground model axiom and the nonexistence of measurable cardinals. We also study a related concept in which we only require M to (...)
    Download  
     
    Export citation  
     
    Bookmark