Coding with ladders a well ordering of the reals

DOI10.2178/JSL/1190150099zbMath1010.03039arXivmath/0104195OpenAlexW2147635529MaRDI QIDQ3149984

Saharon Shelah, Uri Abraham

Publication date: 12 May 2003

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0104195

zbMATH Keywords

Martin's axiomiterated forcingproper forcingladder systemswell-orderings of the reals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Related Items (6)

On ordinary and standard products of infinite family of \(\sigma \)-finite measures and some of their applications ⋮ Definable well-orders of H(ω₂) and GCH ⋮ Forcing lightface definable well-orders without the GCH ⋮ Coding by club-sequences ⋮ Large cardinals and locally defined well-orders of the universe ⋮ Descriptive inner model theory

Cites Work

• Unnamed Item
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Martin's axiom and \(\Delta_1^2\) well-ordering of the reals
• Long projective wellorderings

This page was built for publication: Coding with ladders a well ordering of the reals