Louise Hay Logic Seminar
Elementary Submodels in Topology I
Abstract: We discuss how appropriately defined elementary submodels of $H_\theta$ can be used to prove results in general topology. We prove for example a famous result by Arhangel'skii that first countable compact Hausdorff spaces have cardinality at most continuum.
Thursday February 15, 2018 at 4:00 PM in SEO 427