John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III , Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343 [Book Review]

Bulletin of Symbolic Logic 22 (4):521-524 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2016.30

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Games, scales, and Suslin cardinals. The Cabal Seminar, Volume I, Lecture Notes in Logic, vol. 31.Alessandro Andretta - 2012 - Bulletin of Symbolic Logic 18 (1):122-126.
Dodd A. and Jensen R.. The core model. Annals of mathematical logic, vol. 20 , pp. 43–75.Dodd Tony and Jensen Ronald. The covering lemma for K. Annals of mathematical logic, vol. 22 , pp. 1–30.Dodd A. J. and Jensen R. B.. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135.Donder D., Jensen R. B. and Koppelberg B. J.. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97.Dodd A.. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp. [REVIEW]William Mitchell - 1984 - Journal of Symbolic Logic 49 (2):660-662.
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp. [REVIEW]Bradd Hart - 2015 - Bulletin of Symbolic Logic 21 (3):342-343.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Jonsson Cardinals, Erdos Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
The Covering Lemma up to a Woodin Cardinal.William Mitchell, Ernest Schimmerling & John Steel - 2003 - Bulletin of Symbolic Logic 9 (3):414-416.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Review: John R. Steel, The Core Model Iterability Problem. [REVIEW]Ernest Schimmerling - 1998 - Journal of Symbolic Logic 63 (1):326-328.
Sergio Fajardo and H. Jerome Keisler. Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp. [REVIEW]Alasdair Urquhart - 2004 - Bulletin of Symbolic Logic 10 (1):110-112.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Review: W. Hugh Woodin, A. S. Kechris, D. A. Martin, Y. N. Moschavokis, Ad and the Uniqueness of the Supercompact Measures on $Pomega1 (lambda)$; W. Hugh Woodin, Some Consistency Results in ZFC using AD; Alexander S. Kechris, D. A. Martin, J. R. Steel, Subsets of $aleph1$ Constructible from a Real. [REVIEW]Andreas Blass - 1992 - Journal of Symbolic Logic 57 (1):259-261.
Mints Grigori. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
Prest Mike. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp. [REVIEW]T. G. Kucera - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.
Cabal Seminar 76-77: Proceedings, Caltech-UCLA Logic Seminar 1976-77.A. S. Kechris & Yiannis N. Moschovakis - 1978 - Springer.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.

Analytics

Added to PP
2017-12-07

Downloads
4 (#1,639,430)

6 months
1 (#1,508,411)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references