Canonical Ramsey Theory and The Idea of a Foundation for Mathematics

Add to your list(s) Download to your calendar using vCal

• Natasha Dobrinen (University of Denver) and Juliette Kennedy (University of Helsinki)
• Wednesday 18 November 2015, 17:30-18:30
• Mill Lane Lecture Room 6.

If you have a question about this talk, please contact .

Idea of a Foundation for Mathematics: I will review some of the history of foundations, starting from Frege through to the Hilbert Program, leading up to the Incompleteness Theorems of 1931 due to Kurt Gödel. I will discuss my own approach to foundations at the end, a “local foundations” point of view.

Canonical Ramsey Theory: The infinite Ramsey’s Theorem states that whenever all pairs of natural numbers are colored by finitely many colors, there is an infinite set on which all pairs have the same color. When one wishes to use infinitely many colors, in other words an equivalence relation, it is not always possible to find an infinite set on which all pairs have the same color. However, a breakthrough of Erdos and Rado show that there is always an infinite set on which the equivalence relation is one of only four canonical types. We will discuss this canonical Ramsey theorem and some of our related work finding canonical equivalence relations on other classes of finite structures with the Ramsey property, as well as applications in set theory.

This talk is part of the Emmy Noether Society series.

This talk is included in these lists:

• All CMS events
• Emmy Noether Society
• Guy Emerson's list
• Mill Lane Lecture Room 6
• Mill Lane Room 6
• bld31

Note that ex-directory lists are not shown.