Cayley's theorem for ordered groups: $o$-minimality

It has long been known [1] that any group could be represented in a strongly minimal theory by just writing down the relations of the group as unary functions. We show the same process works for ordered groups and yields an $o$-minimal group.