Semi-bounded relations in ordered modules

DOI10.2178/jsl/1082418540zbMath1095.03024OpenAlexW2107368597MaRDI QIDQ5311738

Oleg V. Belegradek

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418540

zbMATH Keywords

quantifier eliminationordered modulesemi-bounded relation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered rings, algebras, modules (06F25) Topological and ordered rings and modules (16W80) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Linear o-minimal structures
• Coset-minimal groups
• A structure theorem for semibounded sets in the reals

This page was built for publication: Semi-bounded relations in ordered modules