$\sigma$-idéaux engendrés par des ensembles fermés et théorèmes d’approximation
HTML articles powered by AMS MathViewer
- by Alain Louveau PDF
- Trans. Amer. Math. Soc. 257 (1980), 143-169 Request permission
Abstract:
This paper is motivated by the study of *-games on $\omega$, and by a question of D. A. Martin on the strength of the hypothesis ${\text {AD}}_\omega ^{\ast }$ that every *-game on ${\omega ^\omega }$ is determined. A general study of the $\sigma$-ideals of subsets of ${\omega ^\omega }$ generated by closed sets encompasses the *-games and the “perfect set property". Using associated games, we extend for these ideals many properties known for countable sets, under various hypotheses of determinacy. Our methods thus apply also to other examples of regularity properties, such as those introduced by A. S. Kechris. Finally, a general theorem of approximation by analytic sets in Solovay’s model is proved which, together with the preceding results, gives the solution of Martin’s problem: ${\text {AD}}_\omega ^{\ast }$ is true in Solovay’s model.References
- Morton Davis, Infinite games of perfect information, Advances in Game Theory, Princeton Univ. Press, Princeton, N.J., 1964, pp. 85–101. MR 0170727
- Claude Dellacherie, Capacités et processus stochastiques, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 67, Springer-Verlag, Berlin-New York, 1972 (French). MR 0448504, DOI 10.1007/978-3-662-59107-9
- Alexander S. Kechris, Measure and category in effective descriptive set theory, Ann. Math. Logic 5 (1972/73), 337–384. MR 369072, DOI 10.1016/0003-4843(73)90012-0
- Alexander S. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc. 202 (1975), 259–297. MR 419235, DOI 10.1090/S0002-9947-1975-0419235-7 —, Descriptive set theory, cours manuscrit en circulation.
- Alexander S. Kechris, On a notion of smallness for subsets of the Baire space, Trans. Amer. Math. Soc. 229 (1977), 191–207. MR 450070, DOI 10.1090/S0002-9947-1977-0450070-1
- E. M. Kleinberg, Infinitary combinatorics, Cambridge Summer School in Mathematical Logic (Cambridge, 1971) Lecture Notes in Math., Vol. 337, Springer, Berlin, 1973, pp. 361–418. MR 0337631
- A. Louveau, Une propriété de petitesse des filtres sur $\omega$, Colloque International de Logique (Clermont-Ferrand, 1975) Colloq. Internat. CNRS, vol. 249, CNRS, Paris, 1977, pp. 147–155 (French). MR 522674 —, Détermination des jeux du type $G_\omega ^{\ast }$, Note aux C. R. Acad. Sci. (Paris), Déc. 1975.
- 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
- Jean Saint-Raymond, Représentation intégrale dans certains convexes, Séminaire Choquet, 14e année (1974/75), Initiation à l’analyse, Exp. No. 2, Secrétariat Mathématique, Paris, 1975, pp. 11 (French). MR 0477702
- Robert M. Solovay, On the cardinality of $\sum _{2}^{1}$ sets of reals, Foundations of Mathematics (Symposium Commemorating Kurt Gödel, Columbus, Ohio, 1966) Springer, New York, 1969, pp. 58–73. MR 0277382
- Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 265151, DOI 10.2307/1970696
Additional Information
- © Copyright 1980 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 257 (1980), 143-169
- MSC: Primary 03E35; Secondary 04A15, 28A05, 54H05
- DOI: https://doi.org/10.1090/S0002-9947-1980-0549159-8
- MathSciNet review: 549159