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

DOI10.2307/2000078zbMath0541.03029OpenAlexW4230059095MaRDI QIDQ3328537

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)

Related Items (11)

On Russell typicality in set theory ⋮ Models of set theory in which the separation theorem fails ⋮ The full basis theorem does not imply analytic wellordering ⋮ 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 ⋮ Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation ⋮ DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS ⋮ Families of sets with nonmeasurable unions with respect to ideals defined by trees ⋮ Sacks forcing, Laver forcing, and Martin's axiom ⋮ Unnamed Item ⋮ THE IMPLICITLY CONSTRUCTIBLE UNIVERSE ⋮ A model of second-order arithmetic satisfying AC but not DC

This page was built for publication: A Minimal Model for � CH: Iteration of Jensen's Reals