Some exact equiconsistency results in set theory
From MaRDI portal
Publication:1066894
DOI10.1305/ndjfl/1093870823zbMath0579.03039MaRDI QIDQ1066894
Saharon Shelah, Leo Harrington
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870823
forcing; Martin's axiom; Baire property; weakly compact cardinal; projective set of reals; Lebesgue measurable; Mahlo cardinal; stationary subset
03E15: Descriptive set theory
03E35: Consistency and independence results
03E55: Large cardinals
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Full reflection at a measurable cardinal, A characterization of Martin's axiom in terms of absoluteness, sets of reals, Reflection and Weakly Collectionwise Hausdorff Spaces, Martin's axiom and the continuum, Cardinal preserving ideals, Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals, Forcing axioms and stationary sets, Stationary cardinals, Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals, Projective forcing, Iteration of Souslin forcing, projective measurability and the Borel conjecture