Arithmetic of cuts in ordered abelian groups and of ideals over valuation rings

Franz-Viktor Kuhlmann, Katarzyna Kuhlmann

We investigate existence, uniqueness and maximality of solutions $T$ for equations $S_1+T=S_2$ and inequalities $S_1+T\subseteq S_2$ where $S_1$ and $S_2$ are final segments of ord…