Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-24T03:06:50.299Z Has data issue: false hasContentIssue false
  • English
  • Français

A characterization of Martin's axiom in terms of absoluteness

Published online by Cambridge University Press:  12 March 2014

Joan Bagaria
Joan Bagaria*
Affiliation:
Departament d'Economia, Universitat Pompeu Fabra, Balmes, 132, 08008 Barcelona, Spain, E-mail: bagaria@upf.es
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 62 , Issue 2 , June 1997 , pp. 366 - 372
Copyright
Copyright © Association for Symbolic Logic 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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
[3]Jech, T., Set theory, Academic Press, New York, 1978.Google 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