Hyperfinite MV-algebras

DOI10.1016/j.jpaa.2012.10.012zbMath1276.06006MaRDI QIDQ2376570

Lawrence Peter Belluce, Giacomo Lenzi, Antonio Di Nola

Publication date: 24 June 2013

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2012.10.012

zbMATH Keywords

quantifier elimination; decidability; model theory; finite MV-algebras; hyperfinite MV-algebras

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03B25: Decidability of theories and sets of sentences

06D35: MV-algebras

03B50: Many-valued logic

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Stone MV-algebras and strongly complete MV-algebras, A characterization of pseudofinite MV-algebras, Operators on MV-algebras and their representations.

Cites Work

• Unnamed Item
• A uniform method for proving lower bounds on the computational complexity of logical theories
• Decidable and undecidable MV-algebras
• Model theory.
• Representation and reticulation by quotients of MV-algebras
• Algebraic foundations of many-valued reasoning
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Algebraic Analysis of Many Valued Logics
• The first order properties of products of algebraic systems
• Elementary Properties of Ordered Abelian Groups
• On the Commutativity of Ultraproducts with Direct Products
• Hereditary undecidability of some theories of finite structures
• Ultraproducts of finite sets
• Elementary properties of ordered abelian groups
• Decidability of Second-Order Theories and Automata on Infinite Trees