Hyperfinite MV-algebras

DOI10.1016/j.jpaa.2012.10.012zbMath1276.06006OpenAlexW1975234069MaRDI 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 eliminationdecidabilitymodel theoryfinite MV-algebrashyperfinite MV-algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) MV-algebras (06D35) Many-valued logic (03B50) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

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

Cites Work

• 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
• Unnamed Item

This page was built for publication: Hyperfinite MV-algebras