Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 ↵ | David A. Madore | 2016-01-30 | 1 | -59/+76 | |
| | | | | key lemma). | |||||
* | Steps toward proving the non-well-founded-induction theorem by a fixed point ↵ | David A. Madore | 2016-01-30 | 1 | -13/+74 | |
| | | | | argument. | |||||
* | 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 | |
| | ||||||
* | Transitive collapse, combinatorial games. | David A. Madore | 2015-12-11 | 1 | -35/+182 | |
| | ||||||
* | Very few changes. | David A. Madore | 2015-12-08 | 1 | -7/+14 | |
| | ||||||
* | New terminology: "downstream-closed" and "downstream-inductive", clarify things. | David A. Madore | 2015-12-08 | 1 | -19/+83 | |
| | ||||||
* | Terminology: use "sink" rather than "terminal (vertex)". | David A. Madore | 2015-12-06 | 1 | -35/+34 | |
| | ||||||
* | Terminology: use "out-neighbor" rather than "successor". | David A. Madore | 2015-12-05 | 1 | -40/+40 | |
| | ||||||
* | TODO of sorts. | David A. Madore | 2015-12-05 | 1 | -0/+5 | |
| | ||||||
* | Transitive collapse, etc. | David A. Madore | 2015-12-04 | 1 | -16/+69 | |
| | ||||||
* | Grundy function on a graph. | David A. Madore | 2015-12-04 | 1 | -2/+28 | |
| | ||||||
* | Well-founded graphs and well-founded induction. | David A. Madore | 2015-12-04 | 1 | -0/+206 | |
| | ||||||
* | State and prove von Neumann's minimax theorem. | David A. Madore | 2015-12-03 | 1 | -16/+137 | |
| | ||||||
* | Prove the existence of Nash equilibria. | David A. Madore | 2015-12-03 | 1 | -32/+141 | |
| | ||||||
* | Start writing about games in normal form. | David A. Madore | 2015-12-03 | 1 | -0/+121 | |
| | ||||||
* | Game of nim. | David A. Madore | 2015-11-30 | 1 | -0/+9 | |
| | ||||||
* | Fix description of Choquet's game. | David A. Madore | 2015-11-30 | 1 | -10/+11 | |
| | ||||||
* | Blah. | David A. Madore | 2015-11-30 | 1 | -1/+1 | |
| | ||||||
* | Choquet's topological game. | David A. Madore | 2015-11-30 | 1 | -1/+17 | |
| | ||||||
* | More examples of games, and a discussion about preposing choices. | David A. Madore | 2015-11-25 | 1 | -7/+85 | |
| | ||||||
* | Start writing course notes. | David A. Madore | 2015-11-25 | 1 | -0/+302 | |