Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2025
NIP and Distal Metric Structures
Aaron Anderson
Model theory, machine learning, and combinatorics each have generalizations of VC-dimension for fuzzy and real-valued versions of set systems. These different dimensions define a u…