On the Consistency Strength of the Inner Model Hypothesis

, &
Journal of Symbolic Logic 73 (2):391 - 400 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1208359050

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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 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.
A " Rip Van winkle hypothesis " to resolve the realism - antirealism debate.Dr Afsar Abbas - 2005
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.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
The consistency of arithmetic.Storrs McCall - manuscript
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
89 (#194,233)

6 months
19 (#144,330)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.

View all 11 citations / Add more citations

References found in this work

Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.

Add more references