A Characterization of Martin's Axiom in Terms of Absoluteness

Bagaria, Joan

Bagaria, Joan

J. Symbolic Logic, Tome 62 (1997) no. 1, p. 366-372 / Harvested from Project Euclid

Résumé

Martin's axiom is equivalent to the statement that the universe is absolute under ccc forcing extensions for $\Sigma_1$ sentences with a subset of $\kappa, \kappa < 2^{\aleph_0}$, as a parameter.

Publié le : 1997-06-14
Classification:

@article{1183745233,
     author = {Bagaria, Joan},
     title = {A Characterization of Martin's Axiom in Terms of Absoluteness},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 366-372},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745233}
}

Bagaria, Joan. A Characterization of Martin's Axiom in Terms of Absoluteness. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  366-372. http://gdmltest.u-ga.fr/item/1183745233/