Article contents
A characterization of Martin's axiom in terms of absoluteness
Published online by Cambridge University Press: 12 March 2014
Abstract
Martin's axiom is equivalent to the statement that the universe is absolute under ccc forcing extensions for Σ1 sentences with a subset of κ, , as a parameter.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1997
References
REFERENCES
[1]Bagaria, J., Definable forcing and regularity properties of projective sets of reals, Ph.D. thesis, Berkeley, 1991.Google Scholar
[2]Harrington, L. and Shelah, S., Some exact equiconsistency results in set theory, Notre Dame Journal of Formal Logic, vol. 26 (1985), no. 2, pp. 178–187.CrossRefGoogle Scholar
[4]Judah, H. and Roslanowski, A., Martin's axiom and the continuum, this Journal, vol. 60 (1995), no. 2.Google Scholar
[5]Todorčević, S., Partitioning pairs of countable ordinals, Acta Mathematica, vol. 159 (1987).CrossRefGoogle Scholar
- 13
- Cited by