Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
Metric Linear Orders and O-Minimality
Aaron Anderson, Diego Bejarano
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…
math.LO2025
Examples and Nonexamples of Distal Metric Structures
Aaron Anderson, Itaï Ben Yaacov
This article provides examples of distal metric structures. One source of examples are metric valued fields. By analyzing indiscernible sequences, we show that real closed metric v…