summaryrefslogtreecommitdiffstats log msg author committer range
Commit message (Expand)AuthorAgeFilesLines
* Slight update to index.David A. Madore2016-03-231-3/+3
* Another remark on the Grundy function.David A. Madore2016-03-231-0/+18
* Nim sum is XOR.David A. Madore2016-03-231-9/+123
* Nim sum of ordinals and games.David A. Madore2016-03-231-5/+238
* Start part on impartial combinatorial games. Also, clearly rename top-level ...David A. Madore2016-03-231-48/+173
* More about the Cantor normal form and binary form of ordinals.David A. Madore2016-03-221-2/+97
* Fix missing clause in definition of Borel sets.David A. Madore2016-03-201-1/+1
* Briefly describe the nimber and (surreal) number associated to \alpha.David A. Madore2016-03-141-3/+49
* Sum of ordinals.David A. Madore2016-03-141-0/+57
* Successor and limit ordinals.David A. Madore2016-03-141-8/+78
* Split section on well-founded sets. Upper bounds of ordinals.David A. Madore2016-03-141-3/+37
* Definition of ordinals.David A. Madore2016-03-141-8/+90
* Fix lots of typos (thanks, "Pjetri").David A. Madore2016-03-121-18/+18
* Genies granting ordinal-counted wishes.David A. Madore2016-03-101-0/+39
* Intuitive presentation of ordinals.David A. Madore2016-03-091-2/+95
* Well-founded induction, von Neumann ordinals.David A. Madore2016-03-091-1/+52
* Mention the terminology "well-ordered".David A. Madore2016-03-091-2/+16
* More on the intuitive explanation of ordinals: decreasing sequences terminate.David A. Madore2016-03-091-1/+35
* Start writing an intuitive introduction to ordinals.David A. Madore2016-03-091-0/+134
* Determinacy of combinatorial games for positional strategies (fairly tedious).upload-20160308David A. Madore2016-03-081-194/+387
* Various clarifications in wording in the combinatorial-to-Gale-Stewart argument.David A. Madore2016-03-081-36/+48
* Mention Borel determinacy and beyond.David A. Madore2016-03-071-1/+48
* Alternative terminology: "progressively finite" for well-founded.David A. Madore2016-03-071-4/+5
* The halting game (Turing against Blanche).David A. Madore2016-03-071-0/+48