Smooth measures and the canonical retraction 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_ | 1866929208794546176 |
|---|---|
| author | Pigé, Xavier |
| author_facet | Pigé, Xavier |
| contents | We show that the results proved by Simon on the canonical retraction $F_M$ from the space of $M$-invariant types onto the space of types finitely satisfiable in $M$ remain true over measures. We also make another construction of the canonical retraction for measures, mimicking what Simon did for types, and show that it coincides with Simon's canonical retraction for measures. To do so, we make extensive use of smooth measures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07025 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Smooth measures and the canonical retraction in NIP theories Pigé, Xavier Logic We show that the results proved by Simon on the canonical retraction $F_M$ from the space of $M$-invariant types onto the space of types finitely satisfiable in $M$ remain true over measures. We also make another construction of the canonical retraction for measures, mimicking what Simon did for types, and show that it coincides with Simon's canonical retraction for measures. To do so, we make extensive use of smooth measures. |
| title | Smooth measures and the canonical retraction in NIP theories |
| topic | Logic |
| url | https://arxiv.org/abs/2401.07025 |