Continuous Craig Interpolation
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929677795328000 |
|---|---|
| author | Keisler, H. Jerome |
| author_facet | Keisler, H. Jerome |
| contents | We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_12065 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Continuous Craig Interpolation Keisler, H. Jerome Logic 03C66 Continuous model theory, model theory of metric structures We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures. |
| title | Continuous Craig Interpolation |
| topic | Logic 03C66 Continuous model theory, model theory of metric structures |
| url | https://arxiv.org/abs/2412.12065 |