Seminars & Colloquia Calendar
Compactness in Combinatorics
caleb Fong - Rutgers University
Location: Hill 701 (Graduate Student Lounge)
Date & time: Wednesday, 15 February 2023 at 12:15PM - 1:15PM
Abstract: When a finite statement in discrete maths is being extended to its infinite analogue, a useful method for brushing details under the rug is to say that we "use a standard compactness argument". In this talk, I will try to outline the basic structure of these arguments using many examples, give some idea for the underlying machinery (the Compactness Theorem from first-order logic), and if time permits – give some settings in which these proofs don't work.