Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

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

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 [Enhancements On Off] (What's this?)


Similar Articles

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: http://dx.doi.org/10.1090/S0002-9947-00-02659-3
PII: S 0002-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