Geometry and Topology Seminar: First Order Logic and the Topology of Manifolds

Abstract: I will discuss the first order theory of homeomorphism groups of manifolds. I will show how the internal logic of the homeomorphism group of a manifold determines the various homotopy functors of a manifold, including the fundamental group and homology, as well as the various properties of these functors, such as residual finiteness of the fundamental group.

Host: Steven Frankel