Determinacy in the Mitchell models

Annals of Mathematical Logic 22 (2):109 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(82)90017-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
Donald A. Martin and John R. Steel. Projective determinacy. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6582–6586. - W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6587–6591. - Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, vol. 2 , pp. 71–125. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
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. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
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, methodology and philosophy of science, IX (Uppsala, 1991), 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 (Leeds, 1997), 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 (1993), pp. 185–209. -.Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
Review: William J. Mitchell, John R. Steel, Fine Structure and Iteration Trees. [REVIEW]P. D. Welch - 1997 - Journal of Symbolic Logic 62 (4):1491-1493.
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.
On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.
William J. Mitchell and John R. Steel. Fine structure and iteration trees. Lecture notes in logic, no. 3. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, v + 130 pp. [REVIEW]P. D. Welch - 1997 - Journal of Symbolic Logic 62 (4):1491-1493.
Steel forcing and barwise compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.
Steel forcing and Barwise compactness.S. D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31.

Analytics

Added to PP
2014-01-17

Downloads
17 (#213,731)

6 months
4 (#1,635,958)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Determinacy in the difference hierarchy of co-analytic sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.
Unraveling Π11 sets.Itay Neeman - 2000 - Annals of Pure and Applied Logic 106 (1-3):151-205.
Determinacy in strong cardinal models.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):719 - 728.

View all 6 citations / Add more citations

References found in this work

Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
Higher set theory and mathematical practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.

Add more references