The completeness of the isomorphism relation for countable Boolean algebras
HTML articles powered by AMS MathViewer
- by Riccardo Camerlo and Su Gao PDF
- Trans. Amer. Math. Soc. 353 (2001), 491-518 Request permission
Abstract:
We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete invariants cannot be improved in an essential way. We also give a stronger form of the Vaught conjecture for Boolean algebras which states that, for any complete first-order theory of Boolean algebras that has more than one countable model up to isomorphism, the class of countable models for the theory is Borel complete. The results are applied to settle many other classification problems related to countable Boolean algebras and separable Boolean spaces. In particular, we will show that the following equivalence relations are Borel complete: the translation equivalence between closed subsets of the Cantor space, the isomorphism relation between ideals of the countable atomless Boolean algebra, the conjugacy equivalence of the autohomeomorphisms of the Cantor space, etc. Another corollary of our results is the Borel completeness of the commutative AF $C^*$-algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups.References
- R. D. Anderson, The algebraic simplicity of certain groups of homeomorphisms, Amer. J. Math. 80 (1958), 955–963. MR 98145, DOI 10.2307/2372842
- Jon Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory. MR 0424560, DOI 10.1007/978-3-662-11035-5
- Howard Becker and Alexander S. Kechris, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996. MR 1425877, DOI 10.1017/CBO9780511735264
- Bruce Blackadar, $K$-theory for operator algebras, 2nd ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998. MR 1656031
- Ola Bratteli, Inductive limits of finite dimensional $C^{\ast }$-algebras, Trans. Amer. Math. Soc. 171 (1972), 195–234. MR 312282, DOI 10.1090/S0002-9947-1972-0312282-2
- 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, DOI 10.2307/2274750
- S. Gao, The isomorphism relation between countable models and definable equivalence relations, PhD dissertation, UCLA, 1998.
- Sergeĭ S. Goncharov, Schetnye bulevy algebry i razreshimost′, Sibirskaya Shkola Algebry i Logiki. [Siberian School of Algebra and Logic], Nauchnaya Kniga (NII MIOONGU), Novosibirsk, 1996 (Russian, with Russian summary). MR 1469495
- William Hanf, Representing real numbers in denumerable Boolean algebras, Fund. Math. 91 (1976), no. 3, 167–170. MR 419228, DOI 10.4064/fm-91-3-167-170
- G. Hjorth, Classification and Orbit Equivalence Relations, Mathematical Surveys and Monographs, 75, Amer. Math. Soc., Providence, RI, 2000.
- Greg Hjorth and Alexander S. Kechris, Analytic equivalence relations and Ulm-type classifications, J. Symbolic Logic 60 (1995), no. 4, 1273–1300. MR 1367210, DOI 10.2307/2275888
- Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
- Paul Iverson, The number of countable isomorphism types of complete extensions of the theory of Boolean algebras, Colloq. Math. 62 (1991), no. 2, 181–187. MR 1142919, DOI 10.4064/cm-62-2-181-187
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- A. S. Kechris, The descriptive classification of some classes of $C^*$-algebras, Proceedings of the Sixth Asian Logic Conference (1998), 121-149.
- Jussi Ketonen, The structure of countable Boolean algebras, Ann. of Math. (2) 108 (1978), no. 1, 41–89. MR 491391, DOI 10.2307/1970929
- Sabine Koppelberg, Handbook of Boolean algebras. Vol. 1, North-Holland Publishing Co., Amsterdam, 1989. Edited by J. Donald Monk and Robert Bonnet. MR 991565
- Gerard J. Murphy, $C^*$-algebras and operator theory, Academic Press, Inc., Boston, MA, 1990. MR 1074574
- M. A. Naĭmark, Normed algebras, 3rd ed., Wolters-Noordhoff Series of Monographs and Textbooks on Pure and Applied Mathematics, Wolters-Noordhoff Publishing, Groningen, 1972. Translated from the second Russian edition by Leo F. Boron. MR 0438123
- G. Panti, La logica infinito-valente di Łukasiewicz, PhD dissertation, Università degli studi di Siena, 1995.
- R. S. Pierce, Countable Boolean algebras, in Handbook of Boolean Algebras (J. D. Monk and R. Bonnet eds.), Elsevier Science Publishers, 1989, 775-876.
- J. van Mill, Infinite-dimensional topology, North-Holland Mathematical Library, vol. 43, North-Holland Publishing Co., Amsterdam, 1989. Prerequisites and introduction. MR 977744
Additional Information
- Riccardo Camerlo
- Affiliation: Department of Mathematics, California Institute of Technology, Pasadena, California 91125
- MR Author ID: 663257
- Email: camerlo@its.caltech.edu
- Su Gao
- Affiliation: Department of Mathematics, California Institute of Technology, Pasadena, California 91125
- MR Author ID: 347662
- Email: sugao@its.caltech.edu
- Received by editor(s): March 11, 1999
- Published electronically: September 21, 2000
- © Copyright 2000 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 353 (2001), 491-518
- MSC (2000): Primary 03E15, 06E15
- DOI: https://doi.org/10.1090/S0002-9947-00-02659-3
- MathSciNet review: 1804507