Coding with ladders a well ordering of the reals

DOI10.2178/JSL/1190150099MaRDI QIDQ3149984zbMATH OpenOpenAlexFDO

Authors Uri Abraham, S. Shelah

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, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4921

zbMATH Keywords

iterated forcingladder systemsMartin's axiomproper forcingwell-orderings of the reals

Mathematics Subject Classification ID

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

Abstract: Any model of ZFC + GCH has a generic extension (made with a poset of size aleph_2) in which the following hold: MA + 2^{aleph_0}= aleph_2+ there exists a Delta^2_1-well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on omega_1. Therefore, the study of such ladders is a main concern of this article.

Recommendations

• Martin's axiom and _1² well-ordering of the reals
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• A \(\Sigma_4^1\) wellorder of the reals with \(\mathrm{NS}_{\omega_1}\) saturated
• Coding over a measurable cardinal
• Generic absoluteness and the continuum

Cites work

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Long projective wellorderings
• Martin's axiom and _1² well-ordering of the reals

Cited in

(9)

• Large cardinals and locally defined well-orders of the universe
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Martin's axiom and _1² well-ordering of the reals
• Generic absoluteness and the continuum
• Forcing lightface definable well-orders without the GCH
• On ordinary and standard products of infinite family of \(\sigma \)-finite measures and some of their applications
• Coding by club-sequences
• Descriptive inner model theory
• Definable well-orders of \(H(\omega _2)\) and GCH

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149984)