The completeness of the isomorphism relation for countable Boolean algebras

Authors:
Riccardo Camerlo and Su Gao

Journal:
Trans. Amer. Math. Soc. **353** (2001), 491-518

MSC (2000):
Primary 03E15, 06E15

Published electronically:
September 21, 2000

MathSciNet review:
1804507

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 -algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups.

**[An58]**R. D. Anderson,*The algebraic simplicity of certain groups of homeomorphisms*, Amer. J. Math.**80**(1958), 955–963. MR**0098145****[Ba75]**Jon Barwise,*Admissible sets and structures*, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory; Perspectives in Mathematical Logic. MR**0424560****[BK96]**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****[Bl98]**Bruce Blackadar,*𝐾-theory for operator algebras*, 2nd ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998. MR**1656031****[Br72]**Ola Bratteli,*Inductive limits of finite dimensional 𝐶*-algebras*, Trans. Amer. Math. Soc.**171**(1972), 195–234. MR**0312282**, 10.1090/S0002-9947-1972-0312282-2**[FS89]**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**, 10.2307/2274750**[Ga98]**S. Gao,*The isomorphism relation between countable models and definable equivalence relations,*PhD dissertation, UCLA, 1998.**[Go97]**Sergei S. Goncharov,*Countable Boolean algebras and decidability*, Siberian School of Algebra and Logic, Consultants Bureau, New York, 1997. MR**1444819****[Ha76]**William Hanf,*Representing real numbers in denumerable Boolean algebras*, Fund. Math.**91**(1976), no. 3, 167–170. MR**0419228****[Hj98]**G. Hjorth,*Classification and Orbit Equivalence Relations,*Mathematical Surveys and Monographs, 75, Amer. Math. Soc., Providence, RI, 2000. CMP**2000:05****[HK95]**Greg Hjorth and Alexander S. Kechris,*Analytic equivalence relations and Ulm-type classifications*, J. Symbolic Logic**60**(1995), no. 4, 1273–1300. MR**1367210**, 10.2307/2275888**[Ho93]**Wilfrid Hodges,*Model theory*, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR**1221741****[Iv91]**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****[Kec95]**Alexander S. Kechris,*Classical descriptive set theory*, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR**1321597****[Kec98]**A. S. Kechris,*The descriptive classification of some classes of -algebras,*Proceedings of the Sixth Asian Logic Conference (1998), 121-149.**[Ket78]**Jussi Ketonen,*The structure of countable Boolean algebras*, Ann. of Math. (2)**108**(1978), no. 1, 41–89. MR**0491391****[Ko89]**Sabine Koppelberg,*Handbook of Boolean algebras. Vol. 1*, North-Holland Publishing Co., Amsterdam, 1989. Edited by J. Donald Monk and Robert Bonnet. MR**991565****[Mu90]**Gerard J. Murphy,*𝐶*-algebras and operator theory*, Academic Press, Inc., Boston, MA, 1990. MR**1074574****[Na72]**M. A. Naĭmark,*Normed algebras*, 3rd ed., Wolters-Noordhoff Publishing, Groningen, 1972. Translated from the second Russian edition by Leo F. Boron; Wolters-Noordhoff Series of Monographs and Textbooks on Pure and Applied Mathematics. MR**0438123****[Pa95]**G. Panti,*La logica infinito-valente di ukasiewicz,*PhD dissertation, Università degli studi di Siena, 1995.**[Pi89]**R. S. Pierce,*Countable Boolean algebras,*in Handbook of Boolean Algebras (J. D. Monk and R. Bonnet eds.), Elsevier Science Publishers, 1989, 775-876. CMP**21:10****[vM89]**J. van Mill,*Infinite-dimensional topology*, North-Holland Mathematical Library, vol. 43, North-Holland Publishing Co., Amsterdam, 1989. Prerequisites and introduction. MR**977744**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
03E15,
06E15

Retrieve articles in all journals with MSC (2000): 03E15, 06E15

Additional Information

**Riccardo Camerlo**

Affiliation:
Department of Mathematics, California Institute of Technology, Pasadena, California 91125

Email:
camerlo@its.caltech.edu

**Su Gao**

Affiliation:
Department of Mathematics, California Institute of Technology, Pasadena, California 91125

Email:
sugao@its.caltech.edu

DOI:
https://doi.org/10.1090/S0002-9947-00-02659-3

Keywords:
Borel reducibility,
polish group actions,
definable equivalence relations,
separable Boolean spaces

Received by editor(s):
March 11, 1999

Published electronically:
September 21, 2000

Article copyright:
© Copyright 2000
American Mathematical Society