Event Detail
Fri Nov 2, 2007–Sat Nov 3, 2007 60 Evans Hall, 11:10 PM–1 AM |
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.