Preservation theorems in first-order logic can be characterized by the topological properties of logically presented pre-spectral spaces.
