On the consistency strength of the inner model hypothesis



Journal of Symbolic Logic

On the consistency strength of the inner model hypothesis

Sy-David Friedman, Philip Welch, and W. Hugh Woodin

Source: J. Symbolic Logic Volume 73, Issue 2 (2008), 391-400.

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1208359050
Digital Object Identifier: doi:10.2178/jsl/1208359050
Mathematical Reviews number (MathSciNet): MR2414455

References

A. Beller, R. Jensen, and P. Welch, Coding the universe, London Mathematical Society Lecture Note Series, vol. 47, Cambridge University Press, Cambridge, 1982.
Mathematical Reviews (MathSciNet): MR645538
Zentralblatt MATH: 0468.03031
S. Friedman, New $\Sigma\sb 3\sp 1$ facts, Proceedings of the American Mathematical Society, vol. 127 (1999), pp. 3707--3709.
Mathematical Reviews (MathSciNet): MR1610964
Digital Object Identifier: doi:10.1090/S0002-9939-99-04914-X
--------, Fine structure and class forcing, de Gruyter Series in Logic and its Applications, vol. 3, Walter de Gruyter & Co., Berlin, 2000.
Mathematical Reviews (MathSciNet): MR1780138
Zentralblatt MATH: 0954.03045
--------, Internal consistency and the inner model hypothesis, Bulletin of Symbolic Logic, vol. 12 (2006), pp. 591--600.
Mathematical Reviews (MathSciNet): MR2283091
Digital Object Identifier: doi:10.2178/bsl/1164056808
Project Euclid: euclid.bsl/1164056808
--------, Stable axioms of set theory, Set Theory: Centre de Recerca Matemàtica, Barcelona, 2003--2004, Trends in Mathematics, Birkhäuser Verlag, 2006, pp. 275--283.
Mathematical Reviews (MathSciNet): MR2267152
Digital Object Identifier: doi:10.1007/3-7643-7692-9_9
W. Mitchell, An introduction to inner models and large cardinals, Handbook of set theory, Springer Verlag, to appear.
Y. Moschovakis, Descriptive set theory, North-Holland Publishing Co., Amsterdam, 1980.
Mathematical Reviews (MathSciNet): MR561709
Zentralblatt MATH: 0433.03025
M. Zeman, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, Walter de Gruyter & Co., Berlin, 2002.
Mathematical Reviews (MathSciNet): MR1876087

2008 © Association for Symbolic Logic