A. Dodd and R. Jensen. The core model. Annals of mathematical logic, vol. 20 (1981), pp. 43–75. - Tony Dodd and Ronald Jensen. The covering lemma for K. Annals of mathematical logic, vol. 22 (1982), pp. 1–30. - A. J. Dodd and R. B. Jensen. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135. - D. Donder, R. B. Jensen and B. J. Koppelberg. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited…

Similar Works

Action	Title	Year	Authors
+	Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), 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 (Granada, 1987), 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, …	2004	Martin Zeman
+	C. C. Chang and H. J. Keisler. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp.	1976	G. Fuhrken
+	Coding over Core Models	2022	Sy D. Friedman Ralf Schindler David Schrittesser
+	Core models	1983	A. Dodd
+	C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp.	1991	Michael Makkai
+	Coding over Core Models	2013	Sy‐David Friedman Ralf Schindler David Schrittesser
+ PDF Chat	The Jensen Covering Property	2001	Ernest Schimmerling W. Hugh Woodin
+ PDF Chat	An Introduction to Core Model Theory	1999	Barbara Lowe John R. Steel
+	Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp.	1982	William A. Howard
+	M. A. Dickmann. Large infinitary languages. Model theory. Studies in logic and the foundations of mathematics, vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xv+ 464 pp.	1978	Michael Makkai
+	Review: Countable unions of sets in the core model	1995	Philip Welch
+	The core model up to a woodin cardinal	1995	William Mitchell
+	Gisbert Hasenjaeger. Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale. Verlag Karl Alber, Freiburg and Munich 1962, 202 pp. - G. Hasenjaeger. Introduction to the basic concepts and problems of modern logic. A slightly revised English translation of the preceding by E. C. M. Mays. D. Reidel Publishing Company, Dordrecht, Holland, and Humanities Press, New York, 1972, 180 pp.	1975	Gert H. Müller
+	Herbert B. Enderton. A mathematical introduction to logic. Academic Press, New York and London1972, xiv + 295 pp.	1973	J. R. Shoenfield
+	G. Kreisel and J. L. Krivine. Elements of mathematical logic. (Model theory). North-Holland Publishing Company, Amsterdam1967, xi + 222 pp.	1969	C. C. Chang
+	Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 (1983), pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 (1988), pp. 179–204.	1989	Sy D. Friedman
+	Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 (1983), pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 (1988), pp. 179–204.	1989	Sy D. Friedman
+	The core model induction	2007	Ralf Schindler John R. Steel
+	The method "Model Elimination" of D.W.Loveland explained	2016	Michel Lévy
+ PDF Chat	William Mitchell, Ernest Schimmerling, and John Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–255.	2003	Itay Neeman

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors