Abstract
We consider pseudofinite MV-algebras. As a main result, we show that an infinite MV-algebra is pseudofinite if and only if it is definably well founded, improving a result of a previous paper. Moreover, we show that the theory of pseudofinite MV-algebras has a partial form of elimination of quantifiers. Further, we show that the class of pseudofinite MV-chains and the class of pseudofinite MV-algebras are not finitely axiomatizable, we give some collapsing results for pseudofinite MV-algebras, we consider relative subalgebras of pseudofinite MV-algebras, and we study ideals of pseudofinite MV-algebras.
Similar content being viewed by others
Notes
We stick to the tradition of calling a structure pseudofinite only when it is infinite.
b/n does not exist in A in general, but by Theorem 3.1, A can be embedded in an MV-algebra where it exists.
References
Ax J (1968) The elementary theory of finite fields. Ann Math (2) 88:239–271
Belluce LP, Di Nola A, Lenzi G (2013) Hyperfinite MV-algebras. J Pure Appl Logic 271:1208–1223
Belluce LP, Di Nola A, Lenzi G (2017) Relative subalgebras of MV-algebras. Algebra Univ 77(3):345–360
Botur M, Paseka J (2015) Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola’s theorem. Algebra Univ 73(3–4):277–290
Chang C, Keisler J (1990) Model theory. Elsevier, Amsterdam
Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
Cooper DC (1972) Theorem proving in arithmetic without multiplication. Mach Intell 7:91–99
Di Nola A (1991) Representation and reticulation by quotients of MV-algebras. Ricerche di matematica (Naples) 40:291–297
Di Nola A (1991) MV-algebras in the treatment of uncertainty. In: Fuzzy logic, Proceedings of the international congress IFSA, Bruxelles, Kluwer, Dordrecht, pp 123–131
Gurevich Y (1965) Elementary properties of ordered abelian groups. AMS Transl 46:165–192
Gurevich Y (1967) Hereditary undecidability of a class of lattice-ordered Abelian groups (Russian). Algebra i Logika Sem 6:45–62
Kozen D (1980) Complexity of Boolean algebras. Theor Comput Sci 10(3):221–247
Rizzo P (2015) On pseudofinite models (in Italian), Master thesis, University of Salerno
Robinson A, Zakon E (1960) Elementary properties of ordered Abelian groups. Trans Am Math Soc 96:222–236
Vaananen J (2003) Pseudo-finite model theory. In: 8th Workshop on logic, language, informations and computation-WoLLIC’2001 (Braslia). Mat Contemp, vol 24, pp 169–183
Acknowledgements
The authors are extremely grateful to the referees for their valuable comments and helpful suggestions which help to improve the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Human and animal participants
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
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
Farsimadan, E., Lenzi, G., Rizzo, P. et al. A characterization of pseudofinite MV-algebras. Soft Comput 24, 8751–8761 (2020). https://doi.org/10.1007/s00500-020-04910-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-020-04910-y