Topology, Completeness and Definability

ABSTRACT:
The talk is about the use of sheaves in the construction of models for
theories which are complete as well as "full" in the sense that
every map or subset in the model is definable in the syntax.