Preservation Theorems Through the Lens of Topology

arXiv2007.07879MaRDI QIDQ6504017FDOQ6504017

Abstract: 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.

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30)

This page was built for publication: Preservation Theorems Through the Lens of Topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504017)