5 citations · 8 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
Fixed Points and Noetherian Topologies
Aliaume Lopez
This paper provides a canonical construction of a Noetherian least fixed point topology. While such least fixed point are not Noetherian in general, we prove that under a mild assu…
cs.LO2022
When Locality Meets Preservation
Aliaume Lopez
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show…
cs.LO2020
Preservation Theorems Through the Lens of Topology
Aliaume Lopez
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…