Generalized Iteration of Forcing

DOI10.2307/2001492zbMath0721.03033OpenAlexW4254009011MaRDI QIDQ5752563

Thomas J. Jech, Marcia J. Groszek

Publication date: 1991

Full work available at URL: https://doi.org/10.2307/2001492

zbMATH Keywords

continuumfusionamalgamationMartin's Axiomperfect tree forcingforcing posetgeneralized forcing iterationinternal forcing principle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (7)

Models of set theory in which the separation theorem fails ⋮ The full basis theorem does not imply analytic wellordering ⋮ Inner mantles and iterated HOD ⋮ 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 ⋮ Unnamed Item ⋮ THE IMPLICITLY CONSTRUCTIBLE UNIVERSE ⋮ The Borel conjecture

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite groups of OD-conjugates
• Proper forcing
• On the consistency of Borel's conjecture
• Iterated Cohen extensions and Souslin's problem
• Iterated perfect-set forcing
• Combinatorics on ideals and forcing
• Happy families
• as an initial segment of the c-degrees
• Powers of regular cardinals
• Internal cohen extensions

This page was built for publication: Generalized Iteration of Forcing