Iterated ultrapowers and prikry forcing

DOI10.1016/0003-4843(78)90018-9zbMath0417.03025OpenAlexW2082862920MaRDI QIDQ3206942

Patrick Dehornoy

Publication date: 1978

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(78)90018-9

zbMATH Keywords

large cardinalsultrafiltersgeneric extensionPrikry's forcingtransitive iterated ultrapowers

Mathematics Subject Classification ID

Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (18)

EMBEDDINGS INTO OUTER MODELS ⋮ Nonabsoluteness of elementary embeddings ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Large cardinals at the brink ⋮ STATIONARY REFLECTION AND THE FAILURE OF THE SCH ⋮ A Mathias criterion for the Magidor iteration of Prikry forcings ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ Minimal collapsing extensions of models of ZFC ⋮ Canonical seeds and Prikry trees ⋮ Prikry on extenders, revisited ⋮ An application of ultrapowers to changing cofinality ⋮ A new characterization of supercompactness and applications ⋮ Prikry forcing and tree Prikry forcing of various filters ⋮ On the relationship between mutual and tight stationarity ⋮ Set-theoretic geology ⋮ Global Chang's conjecture and singular cardinals ⋮ About Prikry generic extensions ⋮ STATIONARY REFLECTION

This page was built for publication: Iterated ultrapowers and prikry forcing