Iterated ultrapowers and Prikry forcing

Annals of Mathematical Logic 15 (2):109 (1978)
  Copy   BIBTEX

Abstract

If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90018-9

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Generalized Prikry forcing and iteration of generic ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Supercompact extender based Prikry forcing.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (5-6):591-602.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
The short extenders gap two forcing is of Prikry type.Carmi Merimovich - 2009 - Archive for Mathematical Logic 48 (8):737-747.
Canonical seeds and Prikry trees.Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.
Canonical Seeds and Prikry Trees.Joel Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.
The short extenders gap three forcing using a morass.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (1-2):115-135.
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.
A formalism for some class of forcing notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis.Justin Tatch Moore - 2006 - Annals of Pure and Applied Logic 140 (1):128-132.
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I.Chaz Schlindwein - 2014 - Archive for Mathematical Logic 53 (1-2):171-202.
Combinatorics and forcing with distributive ideals.Pierre Matet - 1997 - Annals of Pure and Applied Logic 86 (2):137-201.

Analytics

Added to PP
2017-02-19

Downloads
424 (#44,488)

6 months
64 (#67,043)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Dehornoy
Université de Caen

Citations of this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The covering lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.
Prikry forcing and tree Prikry forcing of various filters.Tom Benhamou - 2019 - Archive for Mathematical Logic 58 (7-8):787-817.
A Mathias criterion for the Magidor iteration of Prikry forcings.Omer Ben-Neria - 2023 - Archive for Mathematical Logic 63 (1):119-134.

View all 13 citations / Add more citations

References found in this work

Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Boolean extensions and measurable cardinals.K. Kunen - 1971 - Annals of Mathematical Logic 2 (4):359.

Add more references