Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Mobile Device Pairing
 Journal of the American Mathematical Society
Journal of the American Mathematical Society
ISSN 1088-6834(e) ISSN 0894-0347(p)

     

Iteration trees

Author(s): D. A. Martin; J. R. Steel
Journal: J. Amer. Math. Soc. 7 (1994), 1-73.
MSC: Primary 03E55; Secondary 03E15, 03E35, 03E45
MathSciNet review: 1224594
Retrieve article in: PDF
This article is available free of charge

References | Similar articles | Additional information

References:

[B1]
Stewart Baldwin, Generalizing the Mahlo hierarchy, with applications to the Mitchell models, Ann. Pure Appl. Logic 25 (1983), 103-127. MR 725730 (85d:03106)

[B2]
-, Between strong and superstrong, J. Symboic Logic 51 (1986), 547-559. MR 853838 (87m:03072)

[D]
Anthony Dodd, Strong cardinals, unpublished notes.

[DJ1]
A. J. Dodd and R. B. Jensen, The core model, Ann. Math. Logic 20 (1981), 43-75. MR 611394 (82i:03063)

[DJ2]
-, The covering lemma for $ K$, Ann. Math. Logic 22 (1982), 1-30. MR 661475 (83i:03082a)

[DJ3]
-, The covering lemma for $ L[\mathcal{U}]$, Ann. Math. Logic 22 (1982), 127-155. MR 667224 (83i:03082b)

[FMaSh]
M. Foreman, M. Magidor, and S. Shelah, Martin's maximum, saturated ideals, and non-regular ultrafilters, Ann. of Math. (2) 127 (1988), 1-47. MR 924672 (89f:03043)

[Ga]
H. Gaifman, Elementary embeddings of models of set theory and certain subtheories of it, Axiomatic Set Theory (T. Jech, ed.), Proc. Sympos. Pure Math., vol. 13, Amer. Math. Soc., Providence, RI, 1969, pp. 103-126. MR 0376347 (51:12523)

[G]
Kurt Gödel, Consistency-proof for the Generalized Continuum-Hypothesis, Proc. Nat. Acad. Sci. U.S.A. 25 (1939), 220-224.

[J1]
R. B. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229-308. MR 0309729 (46:8834)

[J2]
Ronald B. Jensen, Reflections on a paper of Steel, unpublished notes.

[KMSo]
Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay, Introduction to $ Q$-theory, Cabal Seminar 79-81, Lecture Notes in Math., vol. 1019, Springer-Verlag, New York, pp. 199-282. MR 730595

[Ku]
Kenneth Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic 1 (1970), 179-227. MR 0277346 (43:3080)

[MSo]
Donald A. Martin and Robert M. Solovay, A basis theorem for $ \Sigma _3^1$ sets of reals, Ann. of Math. (2) 89 (1969), 138-159. MR 0255391 (41:53)

[MS]
Donald A. Martin and John R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), 71-125. MR 955605 (89m:03042)

[Mi1]
William J. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57-66. MR 0344123 (49:8863)

[Mi2]
-, Hypermeasurable cardinals, Logic Colloquium '78 (M. Boffa, D. Van Dalen, and K. McAloon, eds.), North-Holland, Amsterdam, 1979, pp. 303-317. MR 567663 (81a:03001)

[Mi3]
-, Sets constructible from sequences of measures: revisited, J. Symbolic Logic 48 (1983), 600-609. MR 716621 (85j:03052)

[Mi4]
-, The core model for sequences of measures. I, Math. Proc. Cambridge Philos. Soc. 95 (1984), 229-260. MR 735366 (85i:03163)

[Mi5]
-, The core model for sequences of measures. II, unpublished.

[MiS]
William J. Mitchell and John R. Steel, Fine structure and iteration trees, to appear. MR 1300637 (95m:03099)

[ShW]
Saharon Shelah and W. H. Woodin, Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Israel J. Math. 70 (1990), 381-394. MR 1074499 (92m:03087)

[Si1]
Jack H. Siler, The consistency of the GCH with the existence of a measurable cardinal, Axiomatic Set Theory (Dana Scott, ed.), Proc. Sympos. Pure Math., vol. 13, Amer. Math. Soc., Providence, RI, 1971, pp. 391-395. MR 0278937 (43:4663)

[Si2]
-, Measurable cardinals and $ \Delta _3^1$ well-orderings, Ann. of Math. (2) 94 (1971), 414-446. MR 0299469 (45:8517)

[So1]
R. M. Solovay, The cardinality of $ \Sigma _2^1$ sets of reals, Found. Math. (J. Bulloff, T. Holyoke, and S. Hahn, eds.), Springer-Verlag, New York, 1969, pp. 58-73. MR 0277382 (43:3115)

[So2]
-, The fine structure of $ L[\mu ]$, unpublished.

[St1]
John R. Steel, Large cardinals and $ \Delta _3^1$ wellorders, unpublished notes.

[St2]
-, Inner models with many Woodin cardinals, to appear in Annals Pure Appl. Logic. MR 1257469 (95c:03132)

[W]
W. H. Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. USA 85, 6587-6591. MR 959110 (89m:03040)

Similar Articles:

Retrieve articles in Journal of the American Mathematical Society with MSC: 03E55, 03E15, 03E35, 03E45

Retrieve articles in all Journals with MSC: 03E55, 03E15, 03E35, 03E45

Additional Information:

DOI: 10.1090/S0894-0347-1994-1224594-7
PII: S0894-0347-1994-1224594-7
Copyright of article: Copyright 1994, American Mathematical Society




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia