Structural Ramsey Theory and Logic (Lynn Scow, CSUSB)

Title: Structural Ramsey Theory and Logic

Speaker: Lynn Scow, Professor of Mathematics, California State University, San Bernardino

Abstract: The connection between Ramsey theory and logic goes back to Frank P. Ramsey’s 1929 paper in which he announced his famous Ramsey theorem for finite sequences.  This theorem states that for any partition of all sequences of length $k$ from $\mathbb{N}$ into finitely many pieces, there is an infinite subset $X \subset \mathbb{N}$ such that all sequences of length $k$ from $X$ lie in one piece of this partition.  In the intervening years, Ramsey theory has been used to study problems in logic, and vice versa.  In this talk, I will survey some results from the last few decades, as well as highlight some results obtained with my coauthor Dana Bartošová at University of Florida.