Mathematical Logic Quarterly 52 (2):115-124 (2006)

Abstract
We give a self-contained proof of the preservation theorem for proper countable support iterations known as “tools-preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals
Keywords Preservation theorems  proper forcing  countable support iteration
Categories (categorize this paper)
DOI 10.1002/malq.200510018
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
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

Preserving Preservation.Jakob Kellner & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (3):914 - 945.

Add more references

Citations of this work BETA

Understanding Preservation Theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
A Sacks Real Out of Nowhere.Jakob Kellner & Saharon Shelah - 2010 - Journal of Symbolic Logic 75 (1):51-76.

Add more citations

Similar books and articles

The Cardinal Coefficients of the Ideal $${{\mathcal {I}}_{F}}$$.Noboru Osuga & Shizuo Kamo - 2008 - Archive for Mathematical Logic 47 (7-8):653-671.
A Sacks Real Out of Nowhere.Jakob Kellner & Saharon Shelah - 2010 - Journal of Symbolic Logic 75 (1):51-76.
Preserving Preservation.Jakob Kellner & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (3):914 - 945.
A General Mitchell Style Iteration.John Krueger - 2008 - Mathematical Logic Quarterly 54 (6):641-651.
Simplified RCS Iterations.Chaz Schlindwein - 1993 - Archive for Mathematical Logic 32 (5):341-349.
Countable Fréchetα 1-Spaces May Be First Countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Understanding Preservation Theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
On Iterating Semiproper Preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
The Covering Number and the Uniformity of the Ideal ℐf.Noboru Osuga - 2006 - Mathematical Logic Quarterly 52 (4):351-358.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.

Analytics

Added to PP index
2013-12-01

Total views
6 ( #1,133,688 of 2,507,595 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,595 )

How can I increase my downloads?

Downloads

My notes