Removing Laver functions from supercompactness arguments

Mathematical Logic Quarterly 51 (2):154 (2005)
  Copy   BIBTEX

Abstract

We show how the use of a Laver function in the proof of the consistency, relative to the existence of a supercompact cardinal, of both the Proper Forcing Axiom and the Semiproper Forcing Axiom can be eliminated via the use of lottery sums of the appropriate partial orderings

Categories

Keywords

Reprint years

DOI

10.1002/malq.200410015

Links

PhilArchive



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

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

Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.
Some remarks on indestructibility and Hamkins? lottery preparation.Arthur W. Apter - 2003 - Archive for Mathematical Logic 42 (8):717-735.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata.J. D. Hamkins & A. W. Apter - 2001 - Mathematical Logic Quarterly 47 (4):563-572.
Indestructible strong compactness and level by level inequivalence.Arthur W. Apter - 2013 - Mathematical Logic Quarterly 59 (4-5):371-377.

Analytics

Added to PP
2013-12-01

Downloads
18 (#826,732)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
Generic embeddings associated to an indestructibly weakly compact cardinal.Gunter Fuchs - 2010 - Annals of Pure and Applied Logic 162 (1):89-105.

Add more citations

References found in this work

No references found.

Add more references