Examples and Nonexamples of Distal Metric Structures
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918123957911552 |
|---|---|
| author | Anderson, Aaron Yaacov, Itaï Ben |
| author_facet | Anderson, Aaron Yaacov, Itaï Ben |
| contents | 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 valued fields are distal, and conclude that algebraically closed metric valued fields, while stable, have the strong Erdős-Hajnal property, which we define appropriately for metric structures.
We find another example in topological dynamics: we study a metric structure whose automorphism group is the well-understood Polish group $\mathrm{Hom}^+([0,1])$ of increasing homeomorphisms of $[0,1]$. This was known to be NIP and highly unstable, and further properties were established in arXiv:1510.00238. We characterize models of its theory of this structure, which we call Dual Linear Continua, up to isomorphism. We analyze their indiscernible sequences and prove that they are distal, as well as constructing explicit distal cell decompositions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_09073 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Examples and Nonexamples of Distal Metric Structures Anderson, Aaron Yaacov, Itaï Ben Logic 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 valued fields are distal, and conclude that algebraically closed metric valued fields, while stable, have the strong Erdős-Hajnal property, which we define appropriately for metric structures. We find another example in topological dynamics: we study a metric structure whose automorphism group is the well-understood Polish group $\mathrm{Hom}^+([0,1])$ of increasing homeomorphisms of $[0,1]$. This was known to be NIP and highly unstable, and further properties were established in arXiv:1510.00238. We characterize models of its theory of this structure, which we call Dual Linear Continua, up to isomorphism. We analyze their indiscernible sequences and prove that they are distal, as well as constructing explicit distal cell decompositions. |
| title | Examples and Nonexamples of Distal Metric Structures |
| topic | Logic |
| url | https://arxiv.org/abs/2508.09073 |