A note on transfer maps and the Morley product in NIP theories
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914670962540544 |
|---|---|
| author | Gannon, Kyle |
| author_facet | Gannon, Kyle |
| contents | In an important (yet unpublished) research note, Ben Yaacov describes how to turn a global Keisler measures into a type over a monster model of the randomization. This transfer methods allow one to turn questions involving measures into those involving types (in continuous logic). Assuming that T is NIP, we show that the Morley product commutes with the transfer map for finitely satisfiable measures. We characterize when the Morley product commutes with the restriction map for pairs of global finitely satisfiable types in the randomization. We end by making some brief observations about the Ellis semigroup in this context. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_04202 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A note on transfer maps and the Morley product in NIP theories Gannon, Kyle Logic 03C45, 03C95 In an important (yet unpublished) research note, Ben Yaacov describes how to turn a global Keisler measures into a type over a monster model of the randomization. This transfer methods allow one to turn questions involving measures into those involving types (in continuous logic). Assuming that T is NIP, we show that the Morley product commutes with the transfer map for finitely satisfiable measures. We characterize when the Morley product commutes with the restriction map for pairs of global finitely satisfiable types in the randomization. We end by making some brief observations about the Ellis semigroup in this context. |
| title | A note on transfer maps and the Morley product in NIP theories |
| topic | Logic 03C45, 03C95 |
| url | https://arxiv.org/abs/2402.04202 |