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.