Interpolation in model theory
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908466826706944 |
|---|---|
| author | Väänänen, Jouko |
| author_facet | Väänänen, Jouko |
| contents | We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The abstract model theory approach reveals the basic connections between various interpolation properties in isolation, on their own, as well as with respect to other model theoretic properties, such as compactness. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_19097 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Interpolation in model theory Väänänen, Jouko Logic 03C40, 03C95 We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The abstract model theory approach reveals the basic connections between various interpolation properties in isolation, on their own, as well as with respect to other model theoretic properties, such as compactness. |
| title | Interpolation in model theory |
| topic | Logic 03C40, 03C95 |
| url | https://arxiv.org/abs/2507.19097 |