Journal of Symbolic Logic

Distinct iterable branches

John R. Steel

Source: J. Symbolic Logic Volume 70, Issue 4 (2005), 1127-1136.

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/1129642118
Digital Object Identifier: doi:10.2178/jsl/1129642118
Mathematical Reviews number (MathSciNet): MR2194240
Zentralblatt MATH identifier: 1103.03046

References

A. Andretta, I. Neeman, and J. R. Steel The domestic levels of $K^c$ are iterable, Israel Journal of Mathematics, vol. 125 (2001), pp. 157--201.
Mathematical Reviews (MathSciNet): MR1853810
D. A. Martin and J. R. Steel Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), pp. 1--73.
Mathematical Reviews (MathSciNet): MR1224594
W. J. Mitchell and J. R. Steel Fine Structure and Iteration Trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin ,1994.
Mathematical Reviews (MathSciNet): MR1300637
Zentralblatt MATH: 0805.03042
I. Neeman Inner models in the region of a Woodin limit of Woodin cardinals, Annals of Pure and Applied Logic, vol. 116 (2002), no. 1--3, pp. 67--155.
Mathematical Reviews (MathSciNet): MR1900902
Digital Object Identifier: doi:10.1016/S0168-0072(01)00103-8
I. Neeman and J. R. Steel A weak Dodd-Jensen lemma, Journal of Symbolic Logic ,(1999), no. 64, pp. 1285--1294.
Mathematical Reviews (MathSciNet): MR1779762
J. R. Steel The Core Model Iterability Problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, Berlin ,1996.
Mathematical Reviews (MathSciNet): MR1480175
Zentralblatt MATH: 0864.03035
M. Zeman Inner Models and Large Cardinals, Gruyter Series in Logic and Its Applications, vol. 5, Gruyter ,2002.
Mathematical Reviews (MathSciNet): MR1876087

2010 © Association for Symbolic Logic