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

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
Keywords Universal indestructibility   indestructibility   equiconsistency   measurable cardinal   strong cardinal   hyperstrong cardinal   Woodin cardinal   strongly compact cardinal   supercompact cardinal   core model
Categories (categorize this paper)
DOI 10.2178/jsl/1264433923
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: 69,959
Through your library

References found in this work BETA

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

Citations of this work BETA

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

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 index
2010-09-12

Total views
44 ( #256,880 of 2,504,813 )

Recent downloads (6 months)
2 ( #277,627 of 2,504,813 )

How can I increase my downloads?

Downloads

My notes