A characterization of pseudofinite MV-algebras

DOI10.1007/s00500-020-04910-yzbMath1491.06026OpenAlexW3015585176MaRDI QIDQ2153659

Giacomo Lenzi, Eslam Farsimadan, Paolo Rizzo, Arsham Borumand Saeid

Publication date: 12 July 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-020-04910-y

zbMATH Keywords

MV-algebrapseudofinitenessdefinable wellfoundedness

Mathematics Subject Classification ID

MV-algebras (06D35)

Cites Work

• Unnamed Item
• Unnamed Item
• Complexity of Boolean algebras
• Model theory.
• Representation and reticulation by quotients of MV-algebras
• Algebraic foundations of many-valued reasoning
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Relative subalgebras of MV-algebras
• Hyperfinite MV-algebras
• The elementary theory of finite fields
• Elementary Properties of Ordered Abelian Groups
• Elementary properties of ordered abelian groups

This page was built for publication: A characterization of pseudofinite MV-algebras