Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode [Book Review]

Bulletin of Symbolic Logic 10 (4):583-588 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003681

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

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.
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. [REVIEW]Ernest Schimmerling - 2016 - Bulletin of Symbolic Logic 22 (4):521-524.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Covering Properties of Core Models.Ernest Schimmerling, Peter Koepke, William J. Mitchell & John R. Steel - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
Itay Neeman. Games of countable length. Sets and Proofs (Leeds, 1997), edited by S. Barry Cooper and John K. Truss, London Mathematical Society Lecture Note Series, vol. 258. Cambridge University Press, Cambridge, 1999, pp. 159-196. - Itay Neeman. Unraveling_ Π 1 1 _sets_. Annals of Pure and Applied Logic, vol. 106, no. 1–3 (2000), pp. 151-205. - Itay Neeman. _Unraveling_ Π 1 1 _sets, revisited. Israel Journal of Mathematics, to appear. [REVIEW]Paul B. Larson - 2005 - Bulletin of Symbolic Logic 11 (4):542-544.
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.
William Mitchell, Ernest Schimmerling, and John Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, vol. 84 , pp. 219–255. [REVIEW]Itay Neeman - 2003 - Bulletin of Symbolic Logic 9 (3):414-416.
Jensen R. B.. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74. [REVIEW]Frank R. Drake - 1970 - Journal of Symbolic Logic 35 (3):472-473.
J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
Karp Carol. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
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.
Some applications of short core models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.

Analytics

Added to PP
2019-05-07

Downloads
12 (#1,062,297)

6 months
6 (#512,819)

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