P. Bankston A Framework for Characterising Topological Spaces
We
present a framework for talking about whether or not a given
topological space is characterisable within a class of its “peers,”
using sentences of first order logic. For example, it has long been
known that the arc may be characterised within the peer class of metric
spaces using a single first order sentence that holds for its bounded
lattice of closed sets. In our talk we discuss some variations on this
theme.