Preservation Theorems Through the Lens of Topology
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916207021522944 |
|---|---|
| author | Lopez, Aliaume |
| author_facet | Lopez, Aliaume |
| contents | In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of surjective morphisms, subclasses, sums, products, topological closures, and projective limits. Throughout the paper, we also integrate already known results into this new framework and show how it captures th essence of their proofs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2007_07879 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Preservation Theorems Through the Lens of Topology Lopez, Aliaume Logic in Computer Science Logic 03C40, 03C13, 54H30 F.4.1 In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of surjective morphisms, subclasses, sums, products, topological closures, and projective limits. Throughout the paper, we also integrate already known results into this new framework and show how it captures th essence of their proofs. |
| title | Preservation Theorems Through the Lens of Topology |
| topic | Logic in Computer Science Logic 03C40, 03C13, 54H30 F.4.1 |
| url | https://arxiv.org/abs/2007.07879 |