On the relative consistency strength of determinacy hypotheses

Kechris, Alexander S.; Solovay, Robert M.

doi:10.1090/S0002-9947-1985-0787961-2

On the relative consistency strength of determinacy hypotheses
HTML articles powered by AMS MathViewer

by Alexander S. Kechris and Robert M. Solovay PDF

Trans. Amer. Math. Soc. 290 (1985), 179-211 Request permission

Abstract:

For any collection of sets of reals $C$, let $C{\text {-DET}}$ be the statement that all sets of reals in $C$ are determined. In this paper we study questions of the form: For given $C \subseteq C\prime$, when is $C\prime {\text {-DET}}$ equivalent, equiconsistent or strictly stronger in consistency strength than $C {\text {-DET}}$ (modulo ${\text {ZFC}}$)? We focus especially on classes $C$ contained in the projective sets.

References

Richard Gostanian, Constructible models of subsystems of ZF, J. Symbolic Logic 45 (1980), no. 2, 237–250. MR 569395, DOI 10.2307/2273185
Leo Harrington, Analytic determinacy and $0^{\sharp }$, J. Symbolic Logic 43 (1978), no. 4, 685–693. MR 518675, DOI 10.2307/2273508
Felix Hausdorff, Set theory, 2nd ed., Chelsea Publishing Co., New York, 1962. Translated from the German by John R. Aumann et al. MR 0141601
R. Björn Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR 309729, DOI 10.1016/0003-4843(72)90001-0
A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99–275. MR 520190
Alexander S. Kechris, The axiom of determinacy implies dependent choices in $L(\textbf {R})$, J. Symbolic Logic 49 (1984), no. 1, 161–173. MR 736611, DOI 10.2307/2274099
Alexander S. Kechris and Yiannis N. Moschovakis (eds.), Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978. MR 526912
Alexander S. Kechris and Yiannis N. Moschovakis (eds.), Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978. MR 526912
Alexander S. Kechris and W. Hugh Woodin, Equivalence of partition properties and determinacy, Proc. Nat. Acad. Sci. U.S.A. 80 (1983), no. 6, i, 1783–1786. MR 699440, DOI 10.1073/pnas.80.6.1783
Donald A. Martin, Measurable cardinals and analytic games, Fund. Math. 66 (1969/70), 287–291. MR 258637, DOI 10.4064/fm-66-3-287-291

Borel and projective games

Infinite games

determinacy implies

determinacy

Donald A. Martin, Yiannis N. Moschovakis, and John R. Steel, The extent of definable scales, Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 3, 435–440. MR 648528, DOI 10.1090/S0273-0979-1982-15009-1
D. A. Martin and R. M. Solovay, A basis theorem for $\sum _3^1$ sets of reals, Ann. of Math. (2) 89 (1969), 138–159. MR 255391, DOI 10.2307/1970813
Donald A. Martin and John R. Steel, The extent of scales in $L(\textbf {R})$, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 86–96. MR 730590, DOI 10.1007/BFb0071697
William J. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57–66. MR 344123, DOI 10.2307/2272343
William Mitchell, Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978) Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 303–316. MR 567676
Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
Yiannis N. Moschovakis, Scales on coinductive sets, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 77–85. MR 730589, DOI 10.1007/BFb0071696
John R. Steel, Determinacy in the Mitchell models, Ann. Math. Logic 22 (1982), no. 2, 109–125. MR 667223, DOI 10.1016/0003-4843(82)90017-1

Scales on

sets