On free MV algebras and a problem of Tarski

DOI10.1002/malq.201400106zbMath1360.06004OpenAlexW2343405291MaRDI QIDQ2813678

Giacomo Lenzi, Antonio Di Nola, Gaetano Vitale

Publication date: 24 June 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201400106

zbMATH Keywords

first-order theoryMV algebrasTarski problemfree MV algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other algebras related to logic (03G25) MV-algebras (06D35)

Cites Work

• Free abelian lattice-ordered groups
• Elementary theory of free non-abelian groups.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Duality Theorems for Finitely Generated Vector Lattices
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Free Vector Lattices