Hyperfinite MV-algebras

DOI10.1016/J.JPAA.2012.10.012MaRDI QIDQ2376570zbMATH OpenOpenAlexFDO

Authors Peter L. 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

decidabilitymodel theoryquantifier eliminationfinite MV-algebrashyperfinite MV-algebras

Mathematics Subject Classification ID

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

Recommendations

• Some notes on elemination properties for the theory of Riesz MV-chains
• A note on interval MV-algebras
• Derivations of MV-algebras from hyper MV-algebras
• A characterization of pseudofinite MV-algebras
• Some remarks on hyper MV-algebras
• scientific article; zbMATH DE number 1850735
• scientific article; zbMATH DE number 4057480
• Hyperfinite logics and non-standard extensions of Boolean algebras
• On the category of hyper MV‐algebras
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras

Cites work

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

Cited in

(14)

• On Vaught's conjecture and finitely valued MV algebras
• Derivations of MV-algebras from hyper MV-algebras
• Decidable and undecidable MV-algebras
• scientific article; zbMATH DE number 5036967 (Why is no real title available?)
• A characterization of pseudofinite MV-algebras
• scientific article; zbMATH DE number 6028031 (Why is no real title available?)
• Hyper-Archimedean BL-algebras are MV-algebras
• Operators on MV-algebras and their representations.
• Some remarks on hyper MV-algebras
• Pro-finite MV-spaces
• scientific article; zbMATH DE number 1799416 (Why is no real title available?)
• Gödel spaces and perfect MV-algebras
• Pro-compactly finite MV-algebras
• Stone MV-algebras and strongly complete MV-algebras

This page was built for publication: Hyperfinite MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376570)