| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Start writing an intuitive introduction to ordinals. | David A. Madore | 2016-03-09 | 1 | -0/+134 |
* | Determinacy of combinatorial games for positional strategies (fairly tedious).upload-20160308 | David A. Madore | 2016-03-08 | 1 | -194/+387 |
* | Various clarifications in wording in the combinatorial-to-Gale-Stewart argument. | David A. Madore | 2016-03-08 | 1 | -36/+48 |
* | Mention Borel determinacy and beyond. | David A. Madore | 2016-03-07 | 1 | -1/+48 |
* | Trivial comment.upload-20160307 | David A. Madore | 2016-03-07 | 1 | -1/+1 |
* | Slight reformulation. | David A. Madore | 2016-03-07 | 1 | -11/+11 |
* | Alternative terminology: "progressively finite" for well-founded. | David A. Madore | 2016-03-07 | 1 | -4/+5 |
* | The halting game (Turing against Blanche). | David A. Madore | 2016-03-07 | 1 | -0/+48 |
* | Add disclaimer about provisional status of these notes.upload-20160305 | David A. Madore | 2016-03-05 | 1 | -0/+9 |
* | Minor changes noted during lecture. | David A. Madore | 2016-02-29 | 1 | -13/+24 |
* | Link zero-sum games and linear programming. | David A. Madore | 2016-02-28 | 1 | -1/+96 |
* | Another self-note. | David A. Madore | 2016-02-26 | 1 | -0/+7 |
* | Self-note. | David A. Madore | 2016-02-25 | 1 | -0/+3 |
* | Remove now redundant pieces. | David A. Madore | 2016-02-25 | 1 | -65/+0 |
* | Determinacy of perfect information games from Gale-Stewart games. | David A. Madore | 2016-02-25 | 1 | -3/+152 |
* | Second proof of open determinacy. | David A. Madore | 2016-02-25 | 1 | -6/+93 |
* | Clarify how we can exchange the players' roles. | David A. Madore | 2016-02-25 | 1 | -96/+148 |
* | Product topology and open determinacy. | David A. Madore | 2016-02-25 | 1 | -27/+201 |
* | Prove the essentially trivial proposition about strategies (exists/forall). | David A. Madore | 2016-02-25 | 1 | -1/+58 |
* | An essentially trivial statement. | David A. Madore | 2016-02-24 | 1 | -6/+44 |
* | Start a new section on Gale-Stewart games. | David A. Madore | 2016-02-24 | 1 | -5/+70 |
* | Positional versus historical strategies. Prepare for induction. | David A. Madore | 2016-02-22 | 1 | -33/+150 |
* | More clarifications on impartial p.i. games (and player naming). | David A. Madore | 2016-02-22 | 1 | -31/+79 |
* | Rework and describe outline. | David A. Madore | 2016-02-22 | 1 | -36/+72 |
* | Isolate Brouwer's fixed point theorem. | David A. Madore | 2016-02-22 | 1 | -9/+14 |
* | More coin-turning (a bidimensional game). | David A. Madore | 2016-02-22 | 1 | -1/+14 |
* | Various clarifications and additions (notably, coin-turning games). | David A. Madore | 2016-02-22 | 1 | -8/+115 |
* | Illustration for Hercules-versus-Hydra game. | David A. Madore | 2016-02-16 | 1 | -1/+62 |
* | Describe chomp and Hackenbush. | David A. Madore | 2016-02-16 | 1 | -5/+123 |
* | Move the ultimatum game further down. | David A. Madore | 2016-02-16 | 1 | -47/+46 |
* | Typos (thanks, "z"). | David A. Madore | 2016-02-15 | 1 | -2/+2 |
* | Another memento. | David A. Madore | 2016-02-15 | 1 | -0/+2 |
* | Typo. | David A. Madore | 2016-02-14 | 1 | -2/+2 |
* | Gale-Stewart games. | David A. Madore | 2016-02-14 | 1 | -1/+15 |
* | Things to think about (to be expanded). | David A. Madore | 2016-02-14 | 1 | -0/+6 |
* | Battle of the sexes game. | David A. Madore | 2016-02-14 | 1 | -2/+29 |
* | Hercules vs the Hydra. | David A. Madore | 2016-02-14 | 1 | -14/+35 |
* | Various gain matrices. Describe the gain of "chicken". | David A. Madore | 2016-02-14 | 1 | -21/+81 |
* | Briefly describe the prisoner's dilemma. | David A. Madore | 2016-02-14 | 1 | -5/+30 |
* | Last statement of the non-well-founded induction theorem. | David A. Madore | 2016-01-30 | 1 | -2/+11 |
* | Second proof (using ordinals) of the lemma. | David A. Madore | 2016-01-30 | 1 | -0/+23 |
* | Complete/fix the proof of the non-well-founded induction theorem (and its key... | David A. Madore | 2016-01-30 | 1 | -59/+76 |
* | Steps toward proving the non-well-founded-induction theorem by a fixed point ... | David A. Madore | 2016-01-30 | 1 | -13/+74 |
* | Fix missing condition. | David A. Madore | 2016-01-29 | 1 | -3/+4 |
* | Add version control line. | David A. Madore | 2016-01-29 | 1 | -0/+9 |
* | More re-reading. | David A. Madore | 2016-01-29 | 1 | -31/+39 |
* | Slight change of notation/convention on forfeiting games. | David A. Madore | 2016-01-29 | 1 | -12/+11 |
* | Definition by non-well-founded induction. | David A. Madore | 2015-12-18 | 1 | -0/+67 |
* | Reorganized by moving stuff on non-well-founded graphs to a different section. | David A. Madore | 2015-12-18 | 1 | -59/+81 |
* | Incremental improvements. | David A. Madore | 2015-12-15 | 1 | -20/+69 |