Regular embeddings of the stationary tower and Woodin's maximality theorem

DOI10.2178/JSL/1268917500zbMath1192.03033OpenAlexW2161331996MaRDI QIDQ3570168

Jindřich Zapletal, Richard Ketchersid, Paul B. Larson

Publication date: 24 June 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1268917500

zbMATH Keywords

forcing extensionWoodin cardinalContinuum Hypothesisstationary limit

Mathematics Subject Classification ID

Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Set theory. An introduction to independence proofs. 2nd print
• Small forcing creates neither strong nor Woodin cardinals
• The stationary set splitting game

This page was built for publication: Regular embeddings of the stationary tower and Woodin's maximality theorem