Geodesic
Generic absoluteness under projective forcing
Joan Bagaria1 ; Roger Bosch2
1 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
2 Departamento de Filosofía Universidad de Oviedo Teniente Alfonso Martínez, s//n 33011 Oviedo, Spain
Fundamenta Mathematicae, Tome 194 (2007) no. 2, pp. 95-120

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We study the preservation of the property of $\bf LR$ being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of $\bf LR$ under forcing with projective ccc partial orderings and, as an application, we build models in which Martin's Axiom holds for ${\mathop{\Sigma}\limits_{\textstyle\sim}}{}^1_n$ partial orderings, but it fails for the ${\mathop{\Sigma}\limits_{\textstyle\sim}}{}^1_{n+1}$.
DOI : 10.4064/fm194-2-1
Keywords: study preservation property being solovay model under projective ccc forcing extensions compute exact consistency strength generic absoluteness under forcing projective ccc partial orderings application build models which martins axiom holds mathop sigma limits textstyle sim partial orderings fails mathop sigma limits textstyle sim

Joan Bagaria 1 ; Roger Bosch 2

1 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
2 Departamento de Filosofía Universidad de Oviedo Teniente Alfonso Martínez, s//n 33011 Oviedo, Spain 
@article{10_4064_fm194_2_1,
     author = {Joan Bagaria and Roger Bosch},
     title = {Generic absoluteness under projective forcing},
     journal = {Fundamenta Mathematicae},
     pages = {95--120},
     publisher = {mathdoc},
     volume = {194},
     number = {2},
     year = {2007},
     doi = {10.4064/fm194-2-1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm194-2-1/}
}
TY  - JOUR
AU  - Joan Bagaria
AU  - Roger Bosch
TI  - Generic absoluteness under projective forcing
JO  - Fundamenta Mathematicae
PY  - 2007
SP  - 95
EP  - 120
VL  - 194
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm194-2-1/
DO  - 10.4064/fm194-2-1
LA  - en
ID  - 10_4064_fm194_2_1
ER  - 
%0 Journal Article
%A Joan Bagaria
%A Roger Bosch
%T Generic absoluteness under projective forcing
%J Fundamenta Mathematicae
%D 2007
%P 95-120
%V 194
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm194-2-1/
%R 10.4064/fm194-2-1
%G en
%F 10_4064_fm194_2_1
Joan Bagaria; Roger Bosch. Generic absoluteness under projective forcing. Fundamenta Mathematicae, Tome 194 (2007) no. 2, pp. 95-120. doi: 10.4064/fm194-2-1

Cité par Sources :