We sketched the method of *indicators* and the hierarchy of *fast-growing functions* as techniques to prove independence in . Then we proved Ramsey’s theorem. We will use the method of indicators to show the **Kanamori-McAloon theorem** that the version of Ramsey’s theorem for regressive functions is not provable in .

### Like this:

Like Loading...

*Related*

This entry was posted on February 15, 2008 at 5:32 pm and is filed under 116b. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

## Leave a Reply