Hyperfinite MV-algebras
DOI10.1016/J.JPAA.2012.10.012zbMATH Open1276.06006OpenAlexW1975234069MaRDI QIDQ2376570FDOQ2376570
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
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
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)
Cites Work
- 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
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Model theory.
- Representation and reticulation by quotients of MV-algebras
- Elementary Properties of Ordered Abelian Groups
- Decidable and undecidable MV-algebras
- The first order properties of products of algebraic systems
- Hereditary undecidability of some theories of finite structures
- A uniform method for proving lower bounds on the computational complexity of logical theories
- Title not available (Why is that?)
- Ultraproducts of finite sets
- Elementary properties of ordered abelian groups
- On the Commutativity of Ultraproducts with Direct Products
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- A characterization of pseudofinite MV-algebras
- Hyper-Archimedean BL-algebras are MV-algebras
- Some remarks on hyper MV-algebras
- Operators on MV-algebras and their representations.
- Pro-finite MV-spaces
- Title not available (Why is that?)
- 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)
