TL;DR
This paper analyzes distal and non-distal behaviors in dense pairs of o-minimal structures, providing characterizations, geometric analysis, and a distal expansion for pairs of ordered vector spaces.
Contribution
It offers a new characterization of distal types via orthogonality, geometric analysis of non-distality, and constructs a distal expansion for pairs of ordered vector spaces.
Findings
Characterization of distal types through orthogonality to a generic type
Geometric analysis of non-distality using Keisler measures
A distal expansion for pairs of ordered vector spaces
Abstract
The aim of this work is an analysis of distal and non-distal behavior in dense pairs of o-minimal structures. A characterization of distal types is given through orthogonality to a generic type in , non-distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.