History of notes-math-reverseMathematics

2013-09-07
09:32 UTC Revision 1 . . . . BayleShanks== WKL == http://math.andrej.com/wp-content/uploads/2006/05/kleene-tree.pdf gives a good description of Cantor space, Weak Konig's Lemma, why it is . . .