Distributive proper forcing axiom and cardinal invariants

Archive for Mathematical Logic 52 (5-6):497-506 (2013)
  Copy   BIBTEX

Abstract

In this paper, we study the forcing axiom for the class of proper forcing notions which do not add ω sequence of ordinals. We study the relationship between this forcing axiom and many cardinal invariants. We use typical iterated forcing with large cardinals and analyse certain property being preserved in this process. Lastly, we apply the results to distinguish several forcing axioms

Categories

Keywords

Reprint years

DOI

10.1007/s00153-013-0327-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Removing Laver functions from supercompactness arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I.Chaz Schlindwein - 2014 - Archive for Mathematical Logic 53 (1-2):171-202.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
On the equivalence of certain consequences of the proper forcing axiom.Peter Nyikos & Leszek Piątkiewicz - 1995 - Journal of Symbolic Logic 60 (2):431-443.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Cardinal Invariants and the Collapse of the Continuum by Sacks Forcing.Miroslav Repický - 2008 - Journal of Symbolic Logic 73 (2):711 - 727.
Hierarchies of Forcing Axioms II.Itay Neeman - 2008 - Journal of Symbolic Logic 73 (2):522 - 542.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.

Analytics

Added to PP
2013-11-23

Downloads
34 (#434,396)

6 months
7 (#285,926)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Con(u>i).Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (6):433-443.

View all 6 references / Add more references