An algebraic characterization of o-minimal and weakly o-minimal MV-chains

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

zbMATH Keywords

quantifier eliminationMV-algebra\(\Gamma\)-functorMV-chaino-minimalweakly o-minimal

Mathematics Subject Classification ID

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)

Łukasiewicz Games

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