On the Consistency Strength of the Inner Model Hypothesis
Journal of Symbolic Logic 73 (2):391 - 400 (2008)
Abstract
This article has no associated abstract. (fix it)Author Profiles
DOI
10.2178/jsl/1208359050
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
Internal Consistency and Global Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2008 - Journal of Symbolic Logic 73 (2):512 - 521.
Updating theories.Sjoerd D. Zwart - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Early history of the Generalized Continuum Hypothesis: 1878—1938.Gregory H. Moore - 2011 - Bulletin of Symbolic Logic 17 (4):489-532.
The consistency strength of the free-subset property for ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Analytics
Added to PP
2010-08-24
Downloads
69 (#175,926)
6 months
1 (#450,425)
2010-08-24
Downloads
69 (#175,926)
6 months
1 (#450,425)
Historical graph of downloads
Author Profiles
Citations of this work
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - forthcoming - Review of Symbolic Logic:1-50.
References found in this work
Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.
