Abstract
A model of set theory ZFC is defined in our recent research, in which, for a given n≥3, (An) there exists a good lightface Δn1 well-ordering of the reals, but (Bn) no well-orderings of the reals (not necessarily good) exist in the previous class Δn−11. Therefore, the conjunction (An)∧(Bn) is consistent, modulo the consistency of ZFC itself. In this paper, we significantly clarify and strengthen this result. We prove the consistency of the conjunction (An)∧(Bn) for any given n≥3 on the basis of the consistency of PA2, second-order Peano arithmetic, which is a much weaker assumption than the consistency of ZFC used in the earlier result. This is a new result that may lead to further progress in studies of the projective hierarchy.
Sign-in/Register to access full text options 
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 callDisclaimer: 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.
