Polish group actions: Dichotomies and generalized elementary embeddings

Becker, Howard

doi:10.1090/S0894-0347-98-00258-6

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Browser Compatibility Info Help
ISSN 1088-6834(online) ISSN 0894-0347(print)

Polish group actions: Dichotomies
and generalized elementary embeddings

Author: Howard Becker
Journal: J. Amer. Math. Soc. 11 (1998), 397-449
MSC (1991): Primary 03E15, 22A05, 54H15; Secondary 03C15, 28D15
MathSciNet review: 1478843
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that any Polish group which admits a complete left-invariant metric satisfies the Topological Vaught Conjecture. We also generalize some theorems of model theory from the logic actions to other Polish group actions.

1. Jon Barwise, Admissible sets and structures, Springer-Verlag, Berlin, 1975. An approach to definability theory; Perspectives in Mathematical Logic. MR 0424560 (54 #12519)
2. Howard Becker, The topological Vaught’s conjecture and minimal counterexamples, J. Symbolic Logic 59 (1994), no. 3, 757–784. MR 1295968 (95k:03077), http://dx.doi.org/10.2307/2275907
3. -, The number of path-components of a compact subset of $\mathbb{R}^{n}$ , Logic Colloquium 95 (J. A. Makowsky and E. V. Ravve, eds.), Lecture Notes in Logic, vol. 11, Springer-Verlag, to appear.
4. -, Polish group actions and generalized model theory, in preparation.
5. H. Becker and R. Dougherty, On disjoint Borel uniformizations, Advances in Mathematics, to appear.
6. H. Becker and A.S. Kechris, The Descriptive Set Theory of Polish Group Actions, Cambridge University Press, 1996. CMP 97:06
7. Elisabeth Bouscaren, Martin’s conjecture for 𝜔-stable theories, Israel J. Math. 49 (1984), no. 1-3, 15–25. MR 788262 (86j:03029a), http://dx.doi.org/10.1007/BF02760643
8. John P. Burgess, Equivalences generated by families of Borel sets, Proc. Amer. Math. Soc. 69 (1978), no. 2, 323–326. MR 0476524 (57 #16084), http://dx.doi.org/10.1090/S0002-9939-1978-0476524-6
9. John P. Burgess, Effective enumeration of classes in a Σ¹₁\ equivalence relation, Indiana Univ. Math. J. 28 (1979), no. 3, 353–364. MR 529670 (80f:03053), http://dx.doi.org/10.1512/iumj.1979.28.28024
10. J. Dixmier, Dual et quasi-dual d’une algèbre de Banach involutive, Trans. Amer. Math. Soc. 104 (1962), 278–283 (French). MR 0139960 (25 #3384), http://dx.doi.org/10.1090/S0002-9947-1962-0139960-6
11. Edward G. Effros, Transformation groups and 𝐶*-algebras, Ann. of Math. (2) 81 (1965), 38–55. MR 0174987 (30 #5175)
12. Edward G. Effros, Polish transformation groups and classification problems, General topology and modern analysis (Proc. Conf., Univ. California, Riverside, Calif., 1980), Academic Press, New York, 1981, pp. 217–227. MR 619045 (82k:54064)
13. Harvey Friedman, Countable models of set theories, Cambridge Summer School in Mathematical Logic (Cambridge, 1971) Springer, Berlin, 1973, pp. 539–573. Lecture Notes in Math., Vol. 337. MR 0347599 (50 #102)
14. Harvey Friedman and Lee Stanley, A Borel reducibility theory for classes of countable structures, J. Symbolic Logic 54 (1989), no. 3, 894–914. MR 1011177 (91f:03062), http://dx.doi.org/10.2307/2274750
15. S. Gao, On automorphism groups of countable structures, Journal of Symbolic Logic, to appear.
16. James Glimm, Locally compact transformation groups, Trans. Amer. Math. Soc. 101 (1961), 124–138. MR 0136681 (25 #146), http://dx.doi.org/10.1090/S0002-9947-1961-0136681-X
17. Leo Harrington, Analytic determinacy and 0^{♯}, J. Symbolic Logic 43 (1978), no. 4, 685–693. MR 518675 (80b:03065), http://dx.doi.org/10.2307/2273508
18. L. A. Harrington, A. S. Kechris, and A. Louveau, A Glimm-Effros dichotomy for Borel equivalence relations, J. Amer. Math. Soc. 3 (1990), no. 4, 903–928. MR 1057041 (91h:28023), http://dx.doi.org/10.1090/S0894-0347-1990-1057041-5
19. L. Harrington and R. Sami, Equivalence relations, projective and beyond, Logic Colloquium ’78 (Mons, 1978) Stud. Logic Foundations Math., vol. 97, North-Holland, Amsterdam, 1979, pp. 247–264. MR 567673 (82d:03080)
20. Leo Harrington and Saharon Shelah, Counting equivalence classes for co-𝜅-Souslin equivalence relations, Logic Colloquium ’80 (Prague, 1980) Stud. Logic Foundations Math., vol. 108, North-Holland, Amsterdam, 1982, pp. 147–152. MR 673790 (84c:03088)
21. G. Hjorth, Orbit cardinals: On the definable cardinalities of quotient spaces of the form , where $G$ acts on a Polish space $X$ , preprint.
22. G. Hjorth and S. Solecki, Vaught's conjecture and the Glimm-Effros property for Polish transformation groups, Transactions of the American Mathematical Society, to appear. CMP 97:17
23. Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741 (94e:03002)
24. Thomas Jech, Set theory, Academic Press [Harcourt Brace Jovanovich Publishers], New York, 1978. Pure and Applied Mathematics. MR 506523 (80a:03062)
25. Akihiro Kanamori, The higher infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings. MR 1321144 (96k:03125)
26. Alexander S. Kechris, The structure of Borel equivalence relations in Polish spaces, Set theory of the continuum (Berkeley, CA, 1989) Math. Sci. Res. Inst. Publ., vol. 26, Springer, New York, 1992, pp. 89–102. MR 1233813 (94h:03093), http://dx.doi.org/10.1007/978-1-4613-9754-0_7
27. Alexander S. Kechris, Topology and descriptive set theory, Topology Appl. 58 (1994), no. 3, 195–222. MR 1288299 (95f:54033), http://dx.doi.org/10.1016/0166-8641(94)00146-4
28. Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597 (96e:03057)
29. Alexander S. Kechris and Alain Louveau, The classification of hypersmooth Borel equivalence relations, J. Amer. Math. Soc. 10 (1997), no. 1, 215–242. MR 1396895 (97e:03067), http://dx.doi.org/10.1090/S0894-0347-97-00221-X
30. H. Jerome Keisler, Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers, North-Holland Publishing Co., Amsterdam, 1971. Studies in Logic and the Foundations of Mathematics, Vol. 62. MR 0344115 (49 #8855)
31. Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam, 1980. An introduction to independence proofs. MR 597342 (82f:03001)
32. D.A. Martin and A.S. Kechris, Infinite games and effective descriptive set theory, Analytic Sets (C.A. Rogers et al., eds.), Academic Press (1980), 404-470.
33. Douglas E. Miller, The invariant Π⁰_{𝛼} separation principle, Trans. Amer. Math. Soc. 242 (1978), 185–204. MR 496802 (81b:03054), http://dx.doi.org/10.1090/S0002-9947-1978-0496802-9
34. Deane Montgomery and Leo Zippin, Topological transformation groups, Interscience Publishers, New York-London, 1955. MR 0073104 (17,383b)
35. Anne C. Morel, Structure and order structure in Abelian groups, Colloq. Math. 19 (1968), 199–209. MR 0232843 (38 #1166)
36. Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam, 1980. MR 561709 (82e:03002)
37. Joseph J. Rotman, The theory of groups. An introduction, Allyn and Bacon Inc., Boston, Mass., 1965. MR 0204499 (34 #4338)
38. Ramez L. Sami, Polish group actions and the Vaught conjecture, Trans. Amer. Math. Soc. 341 (1994), no. 1, 335–353. MR 1022169 (94c:03068), http://dx.doi.org/10.1090/S0002-9947-1994-1022169-2
39. Jack H. Silver, Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Ann. Math. Logic 18 (1980), no. 1, 1–28. MR 568914 (81d:03051), http://dx.doi.org/10.1016/0003-4843(80)90002-9
40. Sławomir Solecki, Equivalence relations induced by actions of Polish groups, Trans. Amer. Math. Soc. 347 (1995), no. 12, 4765–4777. MR 1311918 (96c:03100), http://dx.doi.org/10.1090/S0002-9947-1995-1311918-2
41. John R. Steel, Forcing with tagged trees, Ann. Math. Logic 15 (1978), no. 1, 55–74. MR 511943 (81c:03044), http://dx.doi.org/10.1016/0003-4843(78)90026-8
42. John R. Steel, On Vaught’s conjecture, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 193–208. MR 526920 (81b:03036)
43. Jacques Stern, On Lusin’s restricted continuum problem, Ann. of Math. (2) 120 (1984), no. 1, 7–37. MR 750715 (85h:03051), http://dx.doi.org/10.2307/2007070
44. Y. Suzuki, Orbits of denumerable models of complete theories, Fund. Math. 67 (1970), 89–95. MR 0266748 (42 #1651)
45. R. L. Vaught, Denumerable models of complete theories, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford, 1961, pp. 303–321. MR 0186552 (32 #4011)
46. C. M. Wagner, On Martin’s conjecture, Ann. Math. Logic 22 (1982), no. 1, 47–67. MR 661477 (84h:03083), http://dx.doi.org/10.1016/0003-4843(82)90015-8

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|