Iterated extended ultrapowers and supercompactness without choice

Annals of Pure and Applied Logic 54 (2):179-194 (1991)

Working in ZF + DC with no additional use of the axiom of choice, we show how to iterate the extended ultrapower construction of Spector . This generalizes the technique of iterated ultrapowers to choiceless set theory. As an application, we prove the following theorem: Assume V = LU[κ] + “κ is λ-supercompact with normal ultrafilter U” + DC. Then for every sufficiently large regular cardinal ρ, there exists a set-generic extension V[G] of the universe in which there exists for some σ a set S ρ for which one can define an elementary embedding j mapping V to LD[S], where D is the filter in V[G] generated by the closed unbounded filter on ρ. Moreover, we have j = ρ, j = σ, j) = S according to LD[S]), and j = D ∩ LD[S] i s a normal ultrafilter in LD[S] on ρ
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(91)90030-p
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,330
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Pure and Applied Logic 13 (1):73.
Some Applications of Iterated Ultrapowers in Set Theory.Kenneth Kunen - 1970 - Annals of Pure and Applied Logic 1 (2):179.
Some Combinatorial Problems Concerning Uncountable Cardinals.Thomas J. Jech - 1973 - Annals of Pure and Applied Logic 5 (3):165.
On the Determinacy of Games on Ordinals.L. A. Harrington - 1981 - Annals of Pure and Applied Logic 20 (2):109.
Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
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.
Model Theory Under the Axiom of Determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.
On HOD-Supercompactness.Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (7-8):765-768.
Δ1 Ultrapowers Are Totally Rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
Ultrapowers as Sheaves on a Category of Ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Fictions Within Fictions.Reina Hayaki - 2008 - Philosophical Studies 146 (3):379 - 398.


Added to PP index

Total views
14 ( #621,060 of 2,286,035 )

Recent downloads (6 months)
1 ( #835,155 of 2,286,035 )

How can I increase my downloads?


My notes

Sign in to use this feature