Machine Space I: Weak exponentials and quantification over compact spaces

Peter F. Faul, Graham Manuell

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties th…