Abstract
This chapter discusses the definability in axiomatic set theory. If Zermelo-Fraenkel (ZF) set theory is consistent, so is ZF with the axiom of choice added (ZFC) + generalized continuum hypothesis (GCH) together with the following additional axioms: (1) there exists a nonconstructible real number, (2) every hereditarily-ordinal-definable set is constructible, (3) there is a real number a such that V = L [ a ], that is, every set is constructible from a, and (4) every constructible cardinal is a true cardinal. The chapter establishes that the set theory ZFC1 is consistent, where ZFC1 is the set theory obtained from ZFC by adding an axiom that asserts the existence of inaccessible cardinals. The chapter assumes the consistency of ZFC1. The chapter presents a general exposition of forcing is given by Solovay.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Studies in Logic and the Foundations of Mathematics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
