An invitation to extension domination
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914984313749504 |
|---|---|
| author | Gannon, Kyle Ye, Jinhe |
| author_facet | Gannon, Kyle Ye, Jinhe |
| contents | Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its type setting counterpart. We prove that extension domination extends domination for types and that it forms a preorder on the space of global Keisler measures. We then explore some basic properties related to this notion (e.g. approximations by formulas, closure under localizations, convex combinations). We also prove a few preservation theorems and provide some explicit examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_08238 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | An invitation to extension domination Gannon, Kyle Ye, Jinhe Logic Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its type setting counterpart. We prove that extension domination extends domination for types and that it forms a preorder on the space of global Keisler measures. We then explore some basic properties related to this notion (e.g. approximations by formulas, closure under localizations, convex combinations). We also prove a few preservation theorems and provide some explicit examples. |
| title | An invitation to extension domination |
| topic | Logic |
| url | https://arxiv.org/abs/2207.08238 |