Showing math.LOShow all
2 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.LO2024
Definability and Scott rank in separable Metric structures
Diego Bejarano
We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a c…