116b- Lecture 13

February 19, 2008

We proved the Kanamori-McAloon result on regressive functions as a corollary of Ramsey’s theorem, and proved, using the method of indicators, that it cannot be proven in \mathsf{PA}.