Fanxin Wu : Can the fundamental group of a space be the rationals?

Posted by Fanxin Wu , part of the Louise Hay Logic Seminar.

At

Nov. 4, 2021, 4 p.m.

In

636 SEO

Abstract

We discuss a result by Shelah that the fundamental group of a space that is "nice" enough must be either finitely generated or uncountable (actually of size continuum). Here "nice" means a compact metric space that is path connected and locally path connected. We follow Pawlikowski's proof which only uses some basic descriptive set theory.