An equiconsistency for universal indestructibility

Journal of Symbolic Logic 75 (1):314-322 (2010)
  Copy   BIBTEX

Abstract

We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal. Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,389

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Indestructibility and Immutability of Substances.N. L. Wilson - 1956 - Philosophical Studies 7 (3):46 - 48.
An Equiconsistency Result on Partial Squares.John Krueger & Ernest Schimmerling - 2011 - Journal of Mathematical Logic 11 (1):29-59.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Is Aquinas's Proof for the Indestructibility of the Soul Successful?Richard Cross - 1997 - British Journal for the History of Philosophy 5 (1):1 – 20.
Some Exact Equiconsistency Results in Set Theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
Hobbes, Universal Names, and Nominalism.Stewart Duncan - 2017 - In Stefano Di Bella & Tad M. Schmaltz (eds.), The Problem of Universals in Early Modern Philosophy. Oxford University Press.

Analytics

Added to PP
2010-09-12

Downloads
45 (#257,224)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Indestructible Strong Unfoldability.Joel David Hamkins & Thomas A. Johnstone - 2010 - Notre Dame Journal of Formal Logic 51 (3):291-321.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
The Large Cardinals Between Supercompact and Almost-Huge.Norman Lewis Perlmutter - 2015 - Archive for Mathematical Logic 54 (3-4):257-289.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.

View all 6 references / Add more references