A Gitik iteration with nearly Easton factoring

Journal of Symbolic Logic 68 (2):481-502 (2003)

Authors
William Mitchell
University of Alabama, Birmingham
Abstract
We reprove Gitik's theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such that every $\nu \in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik. the iterated forcing $R_{\lambda +1}$ used in this paper has the property that if λ is a cardinal less then κ then $R_{\lambda + 1}$ can be factored in V as $R_{\kappa + 1} = R_{\lambda + 1} \times R_{\lambda + 1, \kappa}$ where $\mid R_{\lambda +1}\mid \leq \lambda^+$ and $R_{\lambda + 1, \kappa}$ does not add any new subsets of λ
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1052669060
Options
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: 45,662
Through your library

References found in this work BETA

On Closed Unbounded Sets Consisting of Former Regulars.Moti Gitik - 1999 - Journal of Symbolic Logic 64 (1):1-12.
Adding Closed Cofinal Sequences to Large Cardinals.Lon Berk Radin - 1982 - Annals of Pure and Applied Logic 22 (3):243.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Fat Sets and Saturated Ideals.John Krueger - 2003 - Journal of Symbolic Logic 68 (3):837-845.
A Weak Variation of Shelah's I[Ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.
On Some Small Cardinals for Boolean Algebras.Ralph Mckenzie & J. Donald Monk - 2004 - Journal of Symbolic Logic 69 (3):674-682.
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.
Depth of Boolean Algebras.Shimon Garti & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (3):307-314.
Extender Based Forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.

Analytics

Added to PP index
2009-01-28

Total views
173 ( #45,724 of 2,280,770 )

Recent downloads (6 months)
9 ( #103,921 of 2,280,770 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature