Abstract
We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are the wound-rounds of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated in terms of MV-algebras. For example, the study of groups together with a cyclic order allows to get a first-order characterization of groups of unimodular complex numbers and of finite cyclic groups. We deduce a characterization of pseudofinite MV-chains and of pseudo-simple MV-chains (i.e. which share the same first-order properties as some simple ones). We generalize these results to some non-linearly ordered MV-algebras, for example hyperarchimedean MV-algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data Availability
Data sharing not applicable to this article as no data-sets were generated or analyzed during the current study.
References
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et Anneaux Réticulés. Lecture Notes, p 608. Springer, New York (1977)
Chang, C.C.: A new proof of the completeness of Łukasiewicz axioms. Trans. Amer. Math. Soc. 93, 74–80 (1959)
Cignoli, R., D’Ottavio, I.M.L., Mundici, D.: Algebraic Fundations of Many-Valued Reasoning. Kluwer, Boston (2000)
Feferman, S., Vaught, R.: The first-order properties of algebraic systems. Fund. Math. 47, 57–103 (1959)
Fuchs, L.: Partially Ordered Algebraic Systems, International Series of Monographs in Pure and Applied Mathematics, vol. 28. Pergamon Press, New York (1963)
Giraudet, M., Leloup, G., Lucas, F.: First order theory of cyclically ordered groups. Ann. Pure. Appl. Logic 169(9), 896–927 (2018)
Glass, A.M.W.: Partially Ordered Groups, Series in Algebra, vol. 7. World Scientific, Singapore (1999)
Glusschankov, D.: Cyclic ordered groups and MV-algebras, Czechoslovak. Math. J. 43 (n∘2), 249–263 (1993)
Hodges, W.: Model theory, Encyclopedia of Mathematics. Cambridge University Press, Cambridge (1993)
Jaffard, P.: Contribution à l’étude des groupes ordonnés. J. Math. Pures Appl. 32, 203–280 (1953)
Jakubík, J., Pringerová, C.: Representation of cyclically ordered groups. Časop. Pěstov. Matem. 113, 184–196 (1988)
Leloup, G.: Pseudo-c-archimedean and pseudo-finite cyclically ordered groups. Math. Log. Quart. 65(4), 412–443 (2019)
Munidici, D.: Interpretation of AF C*-Algebras in Łukasiewicz Calculus and MV-algebras. J. Funct. Anal. 65, 15–31 (1986)
Zabarina, I., Pestov, G.: Śverkovskii’s theorem. Sibrisk. Math. Zh. 25(4), 46–53 (1984)
Zakon, E.: n∘1. Trans. Am. Math. Soc. 99, 21–40 (1961)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Leloup, G. MV-algebras and Partially Cyclically Ordered Groups. Order 39, 323–359 (2022). https://doi.org/10.1007/s11083-021-09578-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-021-09578-z
Keywords
- MV-algebras
- MV-chains
- Partially cyclically ordered abelian groups
- Cyclically ordered abelian groups
- Pseudofinite