Abstract
We study the preservation of the property of Open image in new window being a Solovay model under proper projective forcing extensions. We show that every Open image in new window strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of Open image in new window under Open image in new window strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of Open image in new window under projective strongly-proper forcing notions is consistent relative to the existence of a Open image in new window-Mahlo cardinal. We also show that the consistency strength of the absoluteness of Open image in new window under forcing extensions with σ-linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal.
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.
