Spector forcing

Journal of Symbolic Logic 49 (2):542-554 (1984)

Forcing with [κ] κ over a model of set theory with a strong partition cardinal, M. Spector produced a generic ultrafilter G on κ such that κ κ /G is not well-founded. Theorem. Let G be Spector-generic over a model M of $ZF + DC + \kappa \rightarrow (\kappa)^\kappa_\alpha, \kappa > \omega$ , for all $\alpha . 1) Every cardinal (well-ordered or not) of M is a cardinal of M[ G]. 2) If A ∈ M[ G] is a well-ordered subset of M, then A ∈ M. Let Φ = κ κ /G. 3) There is an ultrafilter U on Φ such that every member of U has a subset of type Φ, and the intersection of any well-ordered subset of U is in U. 4) Φ satisfies Φ → (Φ) α β for all $\alpha and all ordinals β. 5) There is a linear order Φ' with property 3) above which is not "weakly compact", i.e., $\Phi' \nrightarrow (\Phi')^2$
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274186
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: 47,182
Through your library

References found in this work BETA

Researches Into the World of "X" [Implies] "X".J. M. Henle - 1979 - Annals of Mathematical Logic 17 (1/2):151.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Extender Based Forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
A Gitik Iteration with Nearly Easton Factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Small Forcing Makes Any Cardinal Superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
Polarized Partition Relations.James E. Baumgartner & Andras Hajnal - 2001 - Journal of Symbolic Logic 66 (2):811-821.
Ultrafilters Generated by a Closed Set of Functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
Strong Compactness and Stationary Sets.John Krueger - 2005 - Journal of Symbolic Logic 70 (3):767 - 777.


Added to PP index

Total views
27 ( #349,348 of 2,289,446 )

Recent downloads (6 months)
4 ( #308,606 of 2,289,446 )

How can I increase my downloads?


My notes

Sign in to use this feature