Generic absoluteness under projective forcing

• Autorzy: Joan Bagaria , Roger Bosch
• Języki publikacji: EN

Abstrakty

EN

We study the preservation of the property of LR being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of LR under forcing with projective ccc partial orderings and, as an application, we build models in which Martin's Axiom holds for $Σ\limits_{∼}}^{1}_{n}$ partial orderings, but it fails for the $Σ\limits_{∼}^{1}_{n+1}$.

Kategorie tematyczne

• 03E50: Continuum hypothesis and Martin's axiom
• 03E55: Large cardinals
• 03E15: Descriptive set theory
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2007
• Tom: 194
• Numer: 2
• Strony: 95-120

Daty

wydano

2007

Twórcy

autor

Joan Bagaria

• ICREA (Institució Catalana, de Recerca i Estudis Avançats), and Departament de Lògica, Història, i Filosofia de la Ciència, Universitat de Barcelona, Montalegre 6, 08001 Barcelona, Spain

autor

Roger Bosch

• Departamento de Filosofía, Universidad de Oviedo, Teniente Alfonso Martínez, s/n, 33011 Oviedo, Spain

Identyfikatory

DOI

10.4064/fm194-2-1