Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.

Full text of review: PDF   This review is available free of charge.
Book Information:

Author: A. J. Dodd
Title: The core model
Additional book information: London Mathematical Society Lecture Notes Series No. 61, Cambridge Univ. Press, New York, New York, 1982, xxxviii + 229 pp., $24.95. ISBN 0-5212-8530-5.

References [Enhancements On Off] (What's this?)

  • [C] Paul Cohen, The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143-1148; ibid. 51 (1964), 145-149. MR 157890
  • [DeJ] Keith Devlin and Ronald Jensen, Marginalia to a theorem of Silver ISILC Logic Conference (Kiel, 1974), Lecture Notes in Math., vol. 499, Springer-Verlag, Berlin and New York, 1975, pp. 115-142. MR 480036
  • A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43–75. MR 611394,
  • Tony Dodd and Ronald Jensen, The covering lemma for 𝐾, Ann. Math. Logic 22 (1982), no. 1, 1–30. MR 661475,
  • A. J. Dodd and R. B. Jensen, The covering lemma for 𝐿[𝑈], Ann. Math. Logic 22 (1982), no. 2, 127–135. MR 667224,
  • [Ga] Haim Gaifman, Uniform extension operators for models and their applications, Sets, Models, and Recursion Theory, (J. Crossley, ed.), North-Holland, Amsterdam, 1967, pp. 122-155. MR 220586
  • [Gö] Kurt Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis, Proc. Nat. Acad. Sci. U.S.A. 24 (1938), 556-557.
  • [H] Ron Holzman, Jensen's covering lemma--an elementary proof, 1980 (manuscript).
  • [J] Ronald Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229-308. MR 309729
  • [K] Kenneth Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic 1 (1970), 179-227. MR 277346
  • [M1] William Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57-66. MR 344123
  • [M2] William Mitchell, The core model for sequences of measures, 1980 (typescript).
  • William Mitchell, Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978) Stud. Logic Foundations Math., vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 303–316. MR 567676
  • [R] Frederick Rowbottom, Some strong axioms of infinity incompatible with the axiom of constructibility, Ann. Math. Logic 3 (1971), 1-44. MR 323572
  • [Sc] Dana Scott, Measurable cardinals and constructible sets, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 9 (1961), 521-524. MR 143710
  • [Si1] Jack Silver, The consistency of the GCH with the existence of a measurable cardinal, Axiomatic Set Theory (D. Scott, ed.), Proc. Sympos. Pure Math., vol. 13, Amer. Math. Soc., Providence, R.I., 1971, pp. 391-396. MR 278937
  • [Si2] Jack Silver, Some applications of model theory in set theory, Ann. Math. Logic 3 (1971), 45-110. MR 409188
  • [Si3] Jack Silver, On the singular cardinals problem, Proc. Internat. Congress. Math., Vancouver, 1974, pp. 265-268. MR 429564
  • [So] Robert Solovay, A nonconstructible Δ13 set of integers, Trans. Amer. Math. Soc. 127 (1967), 50-75. MR 211873
  • [U] Stanislaw Ulam, Zur masstheorie in der algemein Mengenlehre, Fund. Math. 16 (1930), 140-150.

Review Information:

Reviewer: Akihiro Kanamori
Journal: Bull. Amer. Math. Soc. 9 (1983), 339-345
American Mathematical Society