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.