Event Detail

Fri Nov 2, 2007
60 Evans Hall, 4:10–6 PM
Logic Colloquium
Andrés Eduardo Caicedo (Mathematics, California Inst. of Technology)
Some Results in Finite Combinatorics

I survey some (recent) results in finite combinatorics inspired by considerations from mathematical logic. These include a formula for Goodstein’s function, the rate of growth of the regressive Ramsey numbers, and the size of intersecting families of finite sets that are minimal under definability.