Topology and Foundations.

A program that focuses on the properties of unaltered geometric configurations under conditions of continuous, multi-directional transformations. Includes instruction in mathematical logic, proof theory, model theory, set theory, combinatorics, continua, homotopy, homology, links, and transformation actions.