Abstract
Assuming projective determinacy when it is needed, we prove some structure theorems in the measure theory and the category theory of the analytical hierarchy.
Similar content being viewed by others
References
J. W. Addison and Y. N. Moschovakis,Some consequences of the axiom of definable determinateness, Proc. Nat. Acad. Sci. U.S.A.59 (1968), 708–712.
J. E. Fenstad,The axiom of determinateness, Proc. Second Scandinavian Logic Symposium, ed, J. E. Fenstad, North Holland, Amsterdam, 41–61.
P. G. Hinman,Some applications of forcing to hierarchy problems in arithmetic, Z. Math. Logik Grundlagen Math.15 (1969), 341–352.
A. S. Kechris,Projective ordinals and countable analytical sets, Ph. D. Thesis, University of California, Los Angeles, Calif., 1972.
A. S. Kechris,Measure and category in effective descriptive set theory, Annals of Math. Logic5 (1973), 337–384.
A. S. Kechris and Y. N. Moschovakis,Note on the theory of scales, Circulated manuscript, 1971.
D. A. Martin,The axiom of determinateness and reduction principles in the analytical hierarchy, Bull. Amer. Math. Soc.74 (1968), 687–689.
Y. N. Moschovakis,Uniformization in a playful universe, Bull. Amer. Math. Soc.77 (1970), 731–736.
J. Mycielski and S. Swierczkowski,On the Lebesgue measurability and the axiom of determinateness, Fund. Math.53 (1964), 205–224.
G. E. Sacks,Measure-Theoretic uniformity in recursion theory and set theory, Trans. Amer. Math. Soc.142 (1969), 381–420.
R. M. Solovay,A model of set theory in which every set of reals is Lebesgue measurable, Ann. of Math.,92 (1970), 1–56.
C. Spector,Measure theoretic construction of incomparable hyperdegrees, J. Symbolic Logic23 (1958), 280–288.
J. Stern,Réels aléatoires et ensembles de measure nulle en théorie descriptive des ensembles, C. R. Acad. Sci. Paris, Ser. A.276 (1973) 1249–1252.
H. Tanaka,A basis result for Π 11 sets of positive measure, Comment. Math. Univ. St. Paul16 (1968), 115–127.
S. K. Thomason,The forcing method and the upper semi-lattice of hyperdegrees, Trans. Amer. Math. Soc.129 (1967), 38–57.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stern, J. Some measure theoretic results in effective descriptive set theory. Israel J. Math. 20, 97–110 (1975). https://doi.org/10.1007/BF02757880
Issue Date:
DOI: https://doi.org/10.1007/BF02757880