Iteration of Souslin forcing, projective measurability and the Borel conjecture

DOI10.1007/BF02808062zbMath0778.03015WikidataQ123007946 ScholiaQ123007946MaRDI QIDQ1802747

Haim Judah, Martin Goldstern

Publication date: 29 June 1993

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

inaccessible cardinal; Borel conjecture; countable support iterations of proper Souslin forcing; model of ZFC; projective sets of reals

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E55: Large cardinals

03E50: Continuum hypothesis and Martin's axiom

Related Items

Properness Without Elementaricity, On Nicely Definable Forcing Notions, Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals, Sweet \& sour and other flavours of ccc forcing notions, Preserving non-null with Suslin\(^+\) forcings

Cites Work

• Unnamed Item
• Unnamed Item
• The Borel conjecture
• Some exact equiconsistency results in set theory
• Can you take Solovay's inaccessible away?
• \(\Delta^ 1_ 2\)-sets of reals
• Proper forcing
• On the consistency of Borel's conjecture
• A model of set-theory in which every set of reals is Lebesgue measurable
• Iterated Cohen extensions and Souslin's problem
• Σ½-sets of reals
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• A Proof of Projective Determinacy
• Souslin forcing
• Martin's axioms, measurability and equiconsistency results
• Happy families