NIP and Distal Metric Structures
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915224066457600 |
|---|---|
| author | Anderson, Aaron |
| author_facet | Anderson, Aaron |
| contents | 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 unique notion of a VC-class for both fuzzy sets and real-valued functions. We study these VC-classes, obtaining generalizations of certain combinatorial results from the discrete case. These include appropriate generalizations of $\varepsilon$-nets, the fractional Helly property and the $(p,q)$-theorem.
We then apply these results to continuous logic. We prove that NIP for metric structures is equivalent to an appropriate generalization of honest definitions, which we use to study externally definable predicates and the Shelah expansion. We then examine distal metric structures, providing several equivalent characterizations, in terms of indiscernible sequences, distal types, strong honest definitions, and distal cell decompositions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_04393 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | NIP and Distal Metric Structures Anderson, Aaron Logic Combinatorics 03C45, 03C66, 68Q32, 05C35 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 unique notion of a VC-class for both fuzzy sets and real-valued functions. We study these VC-classes, obtaining generalizations of certain combinatorial results from the discrete case. These include appropriate generalizations of $\varepsilon$-nets, the fractional Helly property and the $(p,q)$-theorem. We then apply these results to continuous logic. We prove that NIP for metric structures is equivalent to an appropriate generalization of honest definitions, which we use to study externally definable predicates and the Shelah expansion. We then examine distal metric structures, providing several equivalent characterizations, in terms of indiscernible sequences, distal types, strong honest definitions, and distal cell decompositions. |
| title | NIP and Distal Metric Structures |
| topic | Logic Combinatorics 03C45, 03C66, 68Q32, 05C35 |
| url | https://arxiv.org/abs/2310.04393 |