Abstract
We prove an Ulm-type classification theorem for actions inL(ℝ), thereby answering a question of Becker and Kechris, and investigate the effective cardinalities which can be induced by various classes of Polish groups.
Similar content being viewed by others
References
H. Becker,Polish group actions: Dichotomies and generalized elementary embeddings, preprint, University of North Carolina, Columbia, 1997.
H. Becker and A. S. Kechris,Sets of ordinals constructible from trees on ordinals and the third Victoria Delfino problem, Contemporary Mathematics31 (1984), 13–29.
H. Becker and A. S. Kechris,The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series 232, Cambridge University Press, Cambridge, 1996.
E. Effros,Transformation groups and C *-algebras, Annals of Mathematics (2)81 (1975), 38–55.
H. Friedman and L. Stanley,A Borel reducibility theory for classes of countable structures, Journal of Symbolic Logic54 (1989), 894–914.
S. Gao,Automorphism groups of countable structures, Journal of Symbolic Logic, to appear.
A. Gregorczyk, A. Mostowski and C. Ryall-Nardzewski,Definability of sets of models of axiomatic theories, Bulletin of the Polish Academy of Sciences (series Mathematics, Astronomy, Physics)9 (1961), 163–167.
L. A. Harrington,Analytic determinacy and 0♯, Journal of Symbolic Logic43 (1978), 685–693.
L. A. Harrington,A powerless proof of a theorem by Silver, handwritten notes, UC Berkeley, 1976.
L. A. Harrington and S. Shelah,Counting the equivalence classes for co-κ-Souslin equivalence relations inLogic Colloquium ’80, North-Holland, Amsterdam, 1982, pp. 147–152.
L. A. Harrington, A. S. Kechris and A. Louveau,A Glimm-Effros dichotomy for Borel equivalence relations, Journal of the American Mathematical Society3 (1990), 903–928.
G. Hjorth,A dichotomy for the definable universe, Journal of Symbolic Logic60 (1995), 1199–1207.
G. Hjorth,An absoluteness principle for Borel sets, Journal of Symbolic Logic63 (1998), 663–693.
G. Hjorth,On ℵ1 many minimal models, Journal of Symbolic Logic61 (1996), 906–919.
G. Hjorth,A universal Polish G-space, Topology and its Applications, to appear.
G. Hjorth,Classification and orbit equivalence relations, unpublished manuscript.
G. Hjorth and A. S. Kechris,Analytic equivalence relations and Ulm-type classifications, Journal of Symbolic Logic60 (1995), 1273–1300.
T. Jech,Set Theory, Academic Press, New York, 1978.
A. S. Kechris,The structure of Borel equivalence relations in Polish spaces, inSet Theory of the Continuum (H. Judah, W. Just and W. H. Woodin, eds.), MSRI Publication 26, Springer-Verlag, New York, 1992, pp. 75–84.
A. S. Kechris,Classical Descriptive Set Theory, Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1995.
A. S. Kechris,Definable equivalence relations and Polish group actions, unpublished manuscript.
H. J. Keisler,Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971.
J. Knight,A complete L ω 1ω characterizing ℵ1, Journal of Symbolic Logic42 (1977), 59–62.
D. A. Martin and J. R. Steel,The extent of scales in L(ℝ), inCabal Seminar 79–81, Lecture Notes in Mathematics1019 (A. S. Kechris, D. A. Martin and J. R. Steel, eds.), Springer-Verlag, Berlin, 1983, pp. 86–96.
Y. N. Moschovakis,Descriptive Set Theory, North-Holland, Amsterdam, 1980.
R. Sami,The topological Vaught conjecture, Transactions of the American Mathematical Society341 (1994), 335–353.
E. Schimmerling,Notes on some lectures by Woodin, handwritten notes, UC Berkeley, Spring, 1990.
J. Stern,On Lusin’s restricted continuum hypothesis, Annals of Mathematics (2)120 (1984), 7–37.
R. Vaught,Invariant sets in topology and logic, Fundamenta Mathematica82 (1974), 269–294.
W. H. Woodin,Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America85 (1988), 6587–6591.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by NSF grant DMS 96-22977.
Rights and permissions
About this article
Cite this article
Hjorth, G. Orbit cardinals: On the effective cardinalities arising as quotient spaces of the formX/G whereG acts on a Polish spaceX . Isr. J. Math. 111, 221–261 (1999). https://doi.org/10.1007/BF02810686
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02810686