Some exact equiconsistency results in set theory

DOI10.1305/ndjfl/1093870823zbMath0579.03039OpenAlexW2017595981MaRDI QIDQ1066894

Saharon Shelah

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

zbMATH Keywords

forcingMartin's axiomBaire propertyweakly compact cardinalprojective set of realsLebesgue measurableMahlo cardinalstationary subset

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (48)

Proper forcing extensions and Solovay models ⋮ Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals ⋮ A weak variation of shelah's I[ω₂] ⋮ Generic Σ₃¹ absoluteness ⋮ Projective forcing ⋮ Higher Souslin trees and the GCH, revisited ⋮ Infinitary combinatorics and modal logic ⋮ A microscopic approach to Souslin-tree construction. II ⋮ Definable MAD families and forcing axioms ⋮ Full reflection at a measurable cardinal ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Martin's axiom and the continuum ⋮ Squares and covering matrices ⋮ Club stationary reflection and the special Aronszajn tree property ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ The relative strengths of fragments of Martin's axiom ⋮ TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS ⋮ Simultaneous stationary reflection and square sequences ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ The consistency strength of ``every stationary set reflects ⋮ A characterization of Martin's axiom in terms of absoluteness ⋮ SQUARES, SCALES AND STATIONARY REFLECTION ⋮ THE EIGHTFOLD WAY ⋮ Martin's axioms, measurability and equiconsistency results ⋮ sets of reals ⋮ Forcing axioms and stationary sets ⋮ Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals ⋮ Generic absoluteness ⋮ On coding uncountable sets by reals ⋮ A relative of the approachability ideal, diamond and non-saturation ⋮ Reflection and Weakly Collectionwise Hausdorff Spaces ⋮ Cardinal preserving ideals ⋮ On a fragment of the universal Baire property for $\Sigma^1_2$ sets ⋮ Ramsey theory for highly connected monochromatic subgraphs ⋮ Covering theorems for the core model, and an application to stationary set reflection ⋮ Iteration of Souslin forcing, projective measurability and the Borel conjecture ⋮ A note on the eightfold way ⋮ THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM ⋮ Diamonds, compactness, and measure sequences ⋮ Fake reflection ⋮ Projective Measure Without Projective Baire ⋮ The diagonal reflection principle ⋮ Lightface $\Sigma^1_2$-indescribable cardinals ⋮ STATIONARY REFLECTION ⋮ Topological Interpretations of Provability Logic ⋮ Stationary cardinals ⋮ Summable gaps ⋮ Notes on singular cardinal combinatorics

This page was built for publication: Some exact equiconsistency results in set theory