Metric Linear Orders and O-Minimality

Abstract: In continuous logic, there are plenty of examples of interesting stable metric structures. However, on the other side of the SOP line, there are only a few metric structures where order is relevant, and orders often appear in different ways. We now present a unified approach to linear and cyclic orders in continuous logic. We axiomatize theories of metric linear and cyclic orders, and in the ultrametric case, find generic completions, analogous to the complete theory DLO. We then characterize which expansions of metric linear orders should be considered o-minimal in terms of regulated functions. We prove versions several key properties of o-minimal structures, such as definable completeness and distality, in the context of o-minimal metric structures. Finally we find examples of o-minimal (and weakly o-minimal) metric structures by turning to real closed metric valued fields.