summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* An exercise on games in normal form.David A. Madore2016-04-061-2/+154
|
* A (long) exercise on the determination of Gale-Stewart-like games defined by ↵David A. Madore2016-04-061-1/+340
| | | | continuous functions.
* Add an exercise section (with the exercises on ordinals already written ↵David A. Madore2016-04-051-0/+376
| | | | separately).
* Start writing a section on partizan games.David A. Madore2016-04-051-1/+32
|
* Re-read exercises on ordinals.upload-20160405David A. Madore2016-04-051-38/+44
|
* More exercises on ordinals.David A. Madore2016-04-051-0/+143
|
* Merge branch 'master' of git.madore.org:teach/mitro206David A. Madore2016-04-051-2/+2
|\
| * Merge branch 'master' of git.madore.org:teach/mitro206David A. Madore2016-04-052-2/+110
| |\
| * | Fix two stupid thinks (thanks, Jacques).David A. Madore2016-04-051-2/+2
| | |
* | | (Forgotten to commit.) Slight improvement of an explanation.David A. Madore2016-04-051-8/+12
| |/ |/|
* | More simple exercises on ordinals.David A. Madore2016-04-041-0/+78
| |
* | A few more additions and clarifications.David A. Madore2016-04-041-2/+32
|/
* Start writing an exercise sheet on ordinals.David A. Madore2016-04-041-0/+209
|
* Various additions or clarifications after course on 2016-04-04.upload-20160404David A. Madore2016-04-041-25/+110
|
* Back to the hydra game.upload-20160323David A. Madore2016-03-231-8/+86
|
* 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
| | | | sections as "parts".
* Add more to index.David A. Madore2016-03-221-2/+2
|
* Add index.upload-20160322David A. Madore2016-03-221-113/+125
|
* More about the Cantor normal form and binary form of ordinals.David A. Madore2016-03-221-2/+97
|
* Hyperref + table of contents.David A. Madore2016-03-211-0/+5
|
* More details on Grundy function and Grundy kernel.upload-20160321David A. Madore2016-03-211-37/+86
|
* Fix missing clause in definition of Borel sets.David A. Madore2016-03-201-1/+1
|
* Product and exponentiation of ordinals.upload-20160314David A. Madore2016-03-141-2/+194
|
* Briefly describe the nimber and (surreal) number associated to \alpha.David A. Madore2016-03-141-3/+49
|
* Acknowledge the Burali-Forti "paradox".David A. Madore2016-03-141-0/+12
|
* 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
|
* More about well-founded and non-well-founded inductions.David A. Madore2016-03-141-20/+113
|
* Fix lots of typos (thanks, "Pjetri").David A. Madore2016-03-121-18/+18
|
* Well-ordered sets.David A. Madore2016-03-101-9/+213
|
* Genies granting ordinal-counted wishes.David A. Madore2016-03-101-0/+39
|
* Another point to note about constructing ordinals.David A. Madore2016-03-091-0/+7
|
* 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
|
* Trivial comment.upload-20160307David A. Madore2016-03-071-1/+1
|
* Slight reformulation.David A. Madore2016-03-071-11/+11
|
* 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
|