Arithmetic of Dedekind cuts of ordered Abelian groups

Antongiulio Fornasiero; Marcello Mamino

doi:10.1016/j.apal.2008.05.001

paper

Arithmetic of Dedekind cuts of ordered Abelian groups

arXiv:math/0612235 · doi:10.1016/j.apal.2008.05.001

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.