1: \def\cprime{$'$}
2: \begin{thebibliography}{10}
3:
4: \bibitem{BAUR:1976}
5: W.~Baur.
6: \newblock Undecidability of the theory of abelian groups with a subgroup.
7: \newblock {\em Proc. Amer. Math. Soc.}, 55(1):125--128, 1976.
8:
9: \bibitem{BIRKHOFF:1967}
10: G.~Birkhoff.
11: \newblock {\em Lattice theory}.
12: \newblock Third edition. American Mathematical Society Colloquium Publications,
13: Vol. XXV. American Mathematical Society, Providence, R.I., 1967.
14:
15: \bibitem{COH-GOFF:1949}
16: L.~W. Cohen and C.~Goffman.
17: \newblock The topology of ordered {A}belian groups.
18: \newblock {\em Trans. Amer. Math. Soc.}, 67:310--319, 1949.
19:
20: \bibitem{FUCHS:1963}
21: L.~Fuchs.
22: \newblock {\em Partially ordered algebraic systems}.
23: \newblock Pergamon Press, Oxford, 1963.
24:
25: \bibitem{FUCHS:1970-73}
26: L.~Fuchs.
27: \newblock {\em Infinite abelian groups. {V}ol. {I} \& {II}}.
28: \newblock Pure and Applied Mathematics, Vol. 36 \& 36-II. Academic Press, New
29: York, 1970 \& 1973.
30:
31: \bibitem{GONSHOR:1985}
32: H.~Gonshor.
33: \newblock Remarks on the {D}edekind completion of a nonstandard model of the
34: reals.
35: \newblock {\em Pacific J. Math.}, 118(1):117--132, 1985.
36:
37: \bibitem{GULDENBERG:2004}
38: T.~G{\"u}ldenberg.
39: \newblock Elementare invarianten von dedekindschnitten angeordneter k{\"o}rper.
40: \newblock Master's thesis, Universit{\"a}t Regensburg, 2004.
41:
42: \bibitem{KUH?22}
43: F.-V. Kuhlmann.
44: \newblock Invariance group and invariance valuation ring of a cut.
45: \newblock Unpublished, 6 2004.
46:
47: \bibitem{MACLANE:1967}
48: S.~Mac~Lane.
49: \newblock {\em Homology}.
50: \newblock Springer-Verlag, Berlin, first edition, 1967.
51: \newblock Die Grundlehren der mathematischen Wissenschaften, Band 114.
52:
53: \bibitem{MACLANE:1998}
54: S.~Mac~Lane.
55: \newblock {\em Categories for the working mathematician}, volume~5 of {\em
56: Graduate Texts in Mathematics}.
57: \newblock Springer-Verlag, New York, second edition, 1998.
58:
59: \bibitem{PESTOV:2001}
60: G.~G. Pestov.
61: \newblock On the theory of cuts in ordered fields.
62: \newblock {\em Sibirsk. Mat. Zh.}, 42(6):1350--1360, iii, 2001.
63: \newblock [English translation: Siberian Math. J. 42 (2001), no. 6,
64: 1123--1131].
65:
66: \bibitem{SCOTT:1969}
67: D.~Scott.
68: \newblock On completing ordered fields.
69: \newblock In {\em Applications of Model Theory to Algebra, Analysis, and
70: Probability (Internat. Sympos., Pasadena, Calif., 1967)}, pages 274--278.
71: Holt, Rinehart and Winston, New York, 1969.
72:
73: \bibitem{TRESSL:2005}
74: M.~Tressl.
75: \newblock Model completeness of o-minimal structures expanded by {D}edekind
76: cuts.
77: \newblock {\em J. Symbolic Logic}, 70(1):29--60, 2005.
78:
79: \bibitem{WEHRUNG:1996}
80: F.~Wehrung.
81: \newblock Monoids of intervals of ordered abelian groups.
82: \newblock {\em J. Algebra}, 182(1):287--328, 1996.
83:
84: \end{thebibliography}
85: