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 . . .