A Minimal Model for � CH: Iteration of Jensen's Reals

DOI10.2307/2000078MaRDI QIDQ3328537zbMATHOpenAlexFDO

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

zbMATH Keywords

definabilityorder typeminimal modeldegrees of constructibilityiteration of forcingJensen's posetperfect trees

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

Recommendations

• Applications of iterated perfect set forcing
• Forcing Minimal Degree of Constructibility
• A minimal degree which collapses ω₁
• Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
• On non-wellfounded iterations of the perfect set forcing

Cited in

(15)

• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• On Russell typicality in set theory
• Families of sets with nonmeasurable unions with respect to ideals defined by trees
• Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
• scientific article; zbMATH DE number 733104 (Why is no real title available?)
• Sacks forcing, Laver forcing, and Martin's axiom
• The implicitly constructible universe
• The full basis theorem does not imply analytic wellordering
• A model of second-order arithmetic satisfying AC but not DC
• Models of set theory in which the separation theorem fails
• Applications of iterated perfect set forcing
• scientific article; zbMATH DE number 13056 (Why is no real title available?)
• 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
• A minimal degree which collapses ω₁
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS

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)