A Minimal Model for � CH: Iteration of Jensen's Reals
DOI10.2307/2000078zbMATH Open0541.03029OpenAlexW4230059095MaRDI QIDQ3328537FDOQ3328537
Authors: Uri Abraham 
Publication date: 1984
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2000078
Recommendations
definabilityorder typeminimal modeldegrees of constructibilityiteration of forcingJensen's posetperfect trees
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)
Cited In (15)
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
- Applications of iterated perfect set forcing
- Sacks forcing, Laver forcing, and Martin's axiom
- On Russell typicality in set theory
- A minimal degree which collapses ω1
- The full basis theorem does not imply analytic wellordering
- THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
- Title not available (Why is that?)
- Models of set theory in which the separation theorem fails
- Title not available (Why is that?)
- Families of sets with nonmeasurable unions with respect to ideals defined by trees
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
- Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
- A model of second-order arithmetic satisfying AC but not DC
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
This page was built for publication: A Minimal Model for � CH: Iteration of Jensen's Reals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3328537)
