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 .
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 .
Leave a Comment » |
116b: Computability and incompleteness |
Permalink
Posted by andrescaicedo
You are currently browsing the A kind of library blog archives for the day Tuesday, February 19th, 2008.