proof of Fodor’s lemma
Then if Fodor’s lemma is false, for every there is some club set such that . Let . The club sets are closed under diagonal intersection, so is also club and therefore there is some . Then for each , and so there can be no such that , so , a contradiction.
|Title||proof of Fodor’s lemma|
|Date of creation||2013-03-22 12:53:19|
|Last modified on||2013-03-22 12:53:19|
|Last modified by||Henry (455)|