Preservation Theorems Through the Lens of Topology - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2021

Preservation Theorems Through the Lens of Topology

Quelques théorèmes de préservation sous le prisme de la topologie

Résumé

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.
Dans cet article, nous proposons une famille d'espaces topologiques qui capture l'existence de certains théorèmes de préservation. La structure particulière de ces espaces permet l'étude de la relativisation des théorèmes de préservation par les définitions raisonnables de morphismes surjectifs, sous espaces, unions disjointes, produits, adhérences, et certaines formes de limites projectives. Au cours de l'article, nous démontrons comment des preuves existantes de théorèmes de préservation se traduisent en des termes topologiques.
Fichier principal
Vignette du fichier
Lopez - 2021 - Preservation Theorems Through the Lens of Topology.pdf (566.51 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
licence

Dates et versions

hal-03883987 , version 1 (04-12-2022)

Licence

Identifiants

Citer

Aliaume Lopez. Preservation Theorems Through the Lens of Topology. 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Jan 2021, Ljubljana, Slovenia. pp.32:1--32:17, ⟨10.4230/LIPIcs.CSL.2021.32⟩. ⟨hal-03883987⟩
47 Consultations
37 Téléchargements

Altmetric

Partager

More