A proof of projective determinacy. (English) Zbl 0668.03021

A cardinal \(\delta\) is said to be a Woodin cardinal if, for every f: \(\delta\) \(\to \delta\), there is a \(\kappa <\delta\) such that \(\kappa\) is closed under f and such that there is an elementary embedding j: \(V\to M\) with critical point \(\kappa\), where M is transitive and \(V_{(j(f))(\kappa)}\in M\). The authors show that, for each \(n\in \omega\), if there is a measurable cardinal larger than n Woodin cardinals, then all \(\Pi^ 1_{n+1}\) subsets of \(^{\omega}\omega\) are determined. Using a result of H. Woodin they get as a corollary: if there is a measurable cardinal larger than infinitely many Woodin cardinals, then every subset of \(^{\omega}\omega\) in L(\({\mathcal R})\) is determined (hence the Axiom of Determinacy holds in the class L(\({\mathcal R}))\).
Reviewer: E.Hartová


03E15 Descriptive set theory
03E55 Large cardinals
03E60 Determinacy principles
Full Text: DOI


[1] A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. · Zbl 0474.03027
[2] M. Foreman, M. Magidor, and S. Shelah, Martin’s maximum, saturated ideals, and nonregular ultrafilters. I, Ann. of Math. (2) 127 (1988), no. 1, 1 – 47. · Zbl 0645.03028
[3] Thomas Jech, Set theory, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. · Zbl 0419.03028
[4] Alexander S. Kechris, Homogeneous trees and projective scales, Cabal Seminar 77 – 79 (Proc. Caltech-UCLA Logic Sem., 1977 – 79) Lecture Notes in Math., vol. 839, Springer, Berlin, 1981, pp. 33 – 73. · Zbl 0485.03029
[5] Azriel Lévy, Axiom schemata of strong infinity in axiomatic set theory, Pacific J. Math. 10 (1960), 223 – 238. · Zbl 0201.32602
[6] Azriel Lévy, Definability in axiomatic set theory. II, Mathematical Logic and Foundations of Set Theory (Proc. Internat. Colloq., Jerusalem, 1968) North-Holland, Amsterdam, 1970, pp. 129 – 145.
[7] Donald A. Martin, Measurable cardinals and analytic games, Fund. Math. 66 (1969/1970), 287 – 291. · Zbl 0216.01401
[8] Donald A. Martin, Infinite games, Proceedings of the International Congress of Mathematicians (Helsinki, 1978), Acad. Sci. Fennica, Helsinki, 1980, pp. 269 – 273.
[9] D. A. Martin and R. M. Solovay, A basis theorem for \sum \(_{3}\)\textonesuperior sets of reals, Ann. of Math. (2) 89 (1969), 138 – 159. · Zbl 0176.27603
[10] Donald A. Martin and John R. Steel, Projective determinacy, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6582 – 6586. · Zbl 0656.03036
[11] -, Iteration trees (to appear). · Zbl 0808.03035
[12] Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. · Zbl 0433.03025
[13] W. Hugh Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6587 – 6591. · Zbl 0656.03037
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.