Topology and Foundations

This is 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.