AF inverse monoids and the structure of countable MV-algebras (Q308140)

The lattice of principal ideals of every finite direct product of finite symmetric inverse monoids canonically determines a finite MV-algebra. Let \(M\) be a direct limit of a sequence of finite direct products of finite symmetric inverse monoids. Equipping the lattice of principal ideals of \(M\) with suitable operations, one similarly obtains an MV algebra. The main result of this paper is that up to isomorphism, every countable MV-algebra arises in this way from some direct limit of finite direct products of finite symmetric inverse monoids. The direct system converging to \(M\) essentially amounts to a Bratteli diagram. A different, but related, method to construct an MV-algebra from Boolean inverse semigroup is introduced in \textit{F. Wehrung}'s monograph [Refinement monoids, equidecomposability types, and Boolean inverse semigroups. Cham: Springer (2017; Zbl 1447.20005)]. For background on MV-algebras see the monograph by \textit{R. L. O. Cignoli} et al. [Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)].