Iterated ultrapowers and prikry forcing

DOI10.1016/0003-4843(78)90018-9zbMATH Open0417.03025OpenAlexW2082862920MaRDI QIDQ3206942FDOQ3206942

Authors: 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

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

Cited In (18)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206942)