The completeness of the isomorphism relation for countable Boolean algebras
| Venue: | Trans. Amer. Math. Soc |
| Citations: | 10 - 1 self |
BibTeX
@ARTICLE{Camerlo_thecompleteness,
author = {Riccardo Camerlo and Su Gao},
title = {The completeness of the isomorphism relation for countable Boolean algebras},
journal = {Trans. Amer. Math. Soc},
year = {},
volume = {353},
pages = {491--518}
}
Years of Citing Articles
OpenURL
Abstract
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. 1.







