Uniform Interpolation
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908824534777856 |
|---|---|
| author | van Gool, Sam |
| author_facet | van Gool, Sam |
| contents | Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic propositional logic. We outline how this theorem may be proved semantically via the definability of bisimulation quantifiers, and how it generalizes to an open mapping theorem between Esakia spaces. We also discuss connections between uniform interpolation and research in categorical logic, algebra, and model theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_15391 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Uniform Interpolation van Gool, Sam Logic Logic in Computer Science 03-02 (Primary) 03B20 03B45 03C10 03G27 03G30 06D20 (Secondary) F.4.1; I.2.4 Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic propositional logic. We outline how this theorem may be proved semantically via the definability of bisimulation quantifiers, and how it generalizes to an open mapping theorem between Esakia spaces. We also discuss connections between uniform interpolation and research in categorical logic, algebra, and model theory. |
| title | Uniform Interpolation |
| topic | Logic Logic in Computer Science 03-02 (Primary) 03B20 03B45 03C10 03G27 03G30 06D20 (Secondary) F.4.1; I.2.4 |
| url | https://arxiv.org/abs/2512.15391 |