A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
From MaRDI portal
Publication:1208082
DOI10.1016/0168-0072(93)90228-6zbMath0785.03028arXivmath/9812115MaRDI QIDQ1208082
Publication date: 16 May 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9812115
products; encoding; generic extension; Aronszajn trees; Suslin trees; forcing poset; definable well-order of the reals; Magidor-Malitz logic
03E35: Consistency and independence results
03C80: Logic with extra quantifiers and operators
03E05: Other combinatorial set theory
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
- Isomorphism types of Aronszajn trees
- Proper forcing
- The Souslin problem
- Large Cardinals from Determinacy
- Compact extensions of L(Q) (part 1a)
- A new construction of non-constructible ${Δ^1}_3$ subset of ω
- Proper and Improper Forcing