Arithmetic of Dedekind cuts of ordered abelian groups

DOI10.1016/J.APAL.2008.05.001MaRDI QIDQ998307zbMATH OpenOpenAlexFDO

Authors A. Fornasiero, Marcello Mamino

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

decidabilityaxiomatizabilityvaluation theoryDedekind cutordered abelian groupdomdouble ordered monoid

Mathematics Subject Classification ID

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

Abstract: We study the set of Dedekind cuts over a linearly ordered Abelian group as a structure over the language (0,<,+,-). Moreover, we obtain a simple set of axioms for the universal part of the theory of such structures. Finally, we prove that every structure satisfying the given axioms is a sub-structure of the set of cuts over a suitable group.

Recommendations

• Dedekind cuts of Archimedean complete ordered abelian groups
• Cuts and small extensions of abelian ordered groups
• On cut completions of abelian lattice ordered groups
• An analog of the fundamental theorem of arithmetic in ordered groupoids
• Truncations of ordered abelian groups
• Abelian groups and representations of finite partially ordered sets
• scientific article; zbMATH DE number 4105235
• Arithmetic hierarchy of Abelian groups
• The computable dimension of ordered abelian groups
• scientific article; zbMATH DE number 617980

Cites work

• scientific article; zbMATH DE number 1811325 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3300584 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• Model completeness of o-minimal structures expanded by Dedekind cuts
• Monoids of intervals of ordered abelian groups
• Remarks on the Dedekind completion of a nonstandard model of the reals
• The Topology of Ordered Abelian Groups
• Undecidability of the Theory of Abelian Groups with a Subgroup

Cited in

(6)

• Selected methods for the classification of cuts, and their applications
• Truncations of ordered abelian groups
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Towers of complements to valuation rings and truncation closed embeddings of valued fields
• Cuts and small extensions of abelian ordered groups
• Mixed-integer cuts from cyclic groups

This page was built for publication: Arithmetic of Dedekind cuts of ordered abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998307)