An algebraic characterization of o-minimal and weakly o-minimal MV-chains
From MaRDI portal
Publication:392380
DOI10.1016/J.JPAA.2013.04.014zbMath1296.06008OpenAlexW2027084441MaRDI QIDQ392380
Giacomo Lenzi, Enrico Marchioni
Publication date: 14 January 2014
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/416592/1/LenziMarchioni_FinalVersion_.pdf
MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
Cites Work
- Quantifier elimination and other model-theoretic properties of BL-algebras
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Local algebras in the representation of MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Algebraic foundations of many-valued reasoning
- Algebraically closed MV-algebras and their sheaf representation
- Equational characterization of all varieties of MV-algebras
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Elimination of quantifiers for ordered valuation rings
- Definable Sets in Ordered Structures. I
- Super-Łukasiewicz propositional logics
- Completeness of two theories on ordered abelian groups and embedding relations
- Weakly o-minimal structures and real closed fields
- Model Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An algebraic characterization of o-minimal and weakly o-minimal MV-chains
