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.
First Page: Show Hide
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
Zentralblatt MATH identifier: 1148.03035

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
Zentralblatt MATH: 0932.03063
--------, 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
Zentralblatt MATH: 1134.03029
--------, 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
Zentralblatt MATH: 1113.03043
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

2013 © Association for Symbolic Logic

Journal of Symbolic Logic

Journal of Symbolic Logic

Turn MathJax Off
What is MathJax?