Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2207.08238 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |