Journal of Symbolic Logic
previous :: next

Local Kc constructions

J. R. Steel

Source: J. Symbolic Logic Volume 72, Issue 3 (2007), 721-737.

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/1191333838
Digital Object Identifier: doi:10.2178/jsl/1191333838
Mathematical Reviews number (MathSciNet): MR2354897

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
Digital Object Identifier: doi:10.1007/BF02773379
W. J. Mitchell and J. R. Steel, Fine structure and iteration trees, Lecture Notes in Logic 3, Springer--Verlag, Berlin, 1994.
Mathematical Reviews (MathSciNet): MR1300637
Zentralblatt MATH: 0805.03042
I. Neeman unpublished manuscript.,
I. Neeman and J. R. Steel, A weak Dodd-Jensen lemma, Journal of Symbolic Logic, vol. 64 (1999), pp. 1285--1294.
Mathematical Reviews (MathSciNet): MR1779762
Digital Object Identifier: doi:10.2307/2586630
Project Euclid: euclid.jsl/1183745881
J. R. Steel, The core model iterability problem, Lecture Notes in Logic 8, Springer--Verlag, Berlin, 1996.
Mathematical Reviews (MathSciNet): MR1480175
Zentralblatt MATH: 0864.03035
--------, Derived models associated to mice, Proceedings of the July 2005 Singapore workshop Computational prospects of infinity,to appear.
--------, An outline of inner model theory, Handbook of set theory,to appear.
previous :: next

2010 © Association for Symbolic Logic