Arithmetic of Dedekind cuts of ordered abelian groups

DOI10.1016/j.apal.2008.05.001zbMath1163.06005arXivmath/0612235OpenAlexW2041915828MaRDI QIDQ998307

Marcello Mamino, Antongiulio Fornasiero

Publication date: 28 January 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0612235

zbMATH Keywords

decidabilityvaluation theoryaxiomatizabilityDedekind cutordered abelian groupdomdouble ordered monoid

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Models of arithmetic and set theory (03C62) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64)

Related Items

Towers of complements to valuation rings and truncation closed embeddings of valued fields, Selected methods for the classification of cuts, and their applications

Cites Work

• Remarks on the Dedekind completion of a nonstandard model of the reals
• Monoids of intervals of ordered abelian groups
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Undecidability of the Theory of Abelian Groups with a Subgroup
• The Topology of Ordered Abelian Groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item