Equilogical Spaces are Imaginary
Informal Workshop on
Domains, Topology and Constructive Logic
Münich, November 2003
Abstract
There are several generalizations of topological spaces which are
"imaginary" in the sense of Martin Escardo. It is known for general
reasons (see G. Rosolini "Equilogical
spaces and filter spaces", Rend. Circ. Mat. Palermo, 64, 2000)
that equilogical spaces are such an example. In this talk we give a
direct and elementary proof of the fact that equilogical spaces
satisfy Escardo's requirements for "generalized spaces".