The Completeness of The Isomorphism Relation for Countable Boolean Algebras

Riccardo Camerlo and Su Gao

---

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 of 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 prove a stronger from of the Vaught conjecture for Boolean algebras which states that, for any complete consistent 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 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 simmilar results for Bratteli diagrams and dimension groups.