2026-07-21T19:59:56Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13466 2024-03-06T10:52:09Z ddc:004 open_access

Preservation Theorems Through the Lens of Topology Lopez, Aliaume Preservation theorem Pre-spectral space Noetherian space Spectral space 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 the essence of their proofs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Aliaume Lopez 2021 Is Part Of LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2021.32 urn:nbn:de:0030-drops-134660 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.32 eng https://creativecommons.org/licenses/by/3.0/legalcode