PFA implies ADL(ℝ)
John R. Steel
Source: J. Symbolic Logic Volume 70, Issue 4 (2005), 1255-1296.
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/1129642125
Digital Object Identifier: doi:10.2178/jsl/1129642125
Mathematical Reviews number (MathSciNet):
MR2194247
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
R. Ketchersid Toward $\adr$ from the Continuum Hypothesis and an $\omega_1$- dense ideal, Ph.D. thesis, Berkeley ,2000.
D. A. Martin The largest countable this, that, or the other, Cabal seminar 79--81 (A. S. Kechris, D. A. Martin, and Y. N. Moscovakis, editors), Lecture Notes in Mathematics, Springer-Verlag ,1983.
Mathematical Reviews (MathSciNet):
MR730591
Zentralblatt MATH:
0571.03019
W. J. Mitchell and E. Schimmerling Weak covering without countable closure, Mathematical Research Letters, vol. 2 (1995), no. 5, pp. 595--609.
Mathematical Reviews (MathSciNet):
MR1359965
W. J. Mitchell and J. R. Steel Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag ,1994.
Mathematical Reviews (MathSciNet):
MR1300637
Zentralblatt MATH:
0805.03042
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
JSTOR: links.jstor.org
T. Räsch and R. D. Schindler A new condensation principle, Archive for Mathematical Logic, vol. 44 (2005), pp. 159--166.
Mathematical Reviews (MathSciNet):
MR2121257
Digital Object Identifier: doi:10.1007/s00153-004-0227-1
E. Schimmerling and J. R. Steel The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119--3141.
Mathematical Reviews (MathSciNet):
MR1638250
Digital Object Identifier: doi:10.1090/S0002-9947-99-02411-3
R. D. Schindler Proper forcing and remarkable cardinals, Bulletin of Symbolic Logic, vol. 6 (2000), no. 2.
Mathematical Reviews (MathSciNet):
MR1765054
JSTOR: links.jstor.org
R. D. Schindler and J. R. Steel Problems in inner model theory, available at \ttfamily http://\allowbreak www.math.uni-muenster.de/math/inst/logik/org/staff/rds.
J. R. Steel Scales in $L(\mathbb R)$, Cabal seminar 79--81 (A. S. Kechris, D. A. Martin, and Y. N. Moscovakis, editors), Lecture Notes in Mathematics, Springer-Verlag ,1983, pp. 107--156.
Mathematical Reviews (MathSciNet):
MR730592
J. R. Steel and A. S. Zoble The strong reflection principle implies $\adlr$, in preparation.
S. Tororcevic A note on the proper forcing axiom, Contemporary Mathematics, vol. 95 (1984), pp. 209--218.
Mathematical Reviews (MathSciNet):
MR763902
W. H. Woodin The axiom of determinacy, forcing axioms, and the nonstationary ideal, De Gruyter ,1999.
Mathematical Reviews (MathSciNet):
MR1713438
Zentralblatt MATH:
0954.03046
