Hyperfinite MV-algebras
From MaRDI portal
Publication:2376570
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
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