Millican Colloquium: Towards a theory of definable sets in mathematics--Steve Jackson (UNT) | Department of Mathematics