Switch to: References

Add citations

You must login to add citations.
  1. Cardinality without Enumeration.Athanassios Tzouvaras - 2005 - Studia Logica 80 (1):121-141.
    We show that the notion of cardinality of a set is independent from that of wellordering, and that reasonable total notions of cardinality exist in every model of ZF where the axiom of choice fails. Such notions are either definable in a simple and natural way, or non-definable, produced by forcing. Analogous cardinality notions exist in nonstandard models of arithmetic admitting nontrivial automorphisms. Certain motivating phenomena from quantum mechanics are also discussed in the Appendix.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
    This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations