summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Second proof of open determinacy.David A. Madore2016-02-251-6/+93
|
* Clarify how we can exchange the players' roles.David A. Madore2016-02-251-96/+148
|
* Product topology and open determinacy.David A. Madore2016-02-251-27/+201
|
* Prove the essentially trivial proposition about strategies (exists/forall).David A. Madore2016-02-251-1/+58
|
* An essentially trivial statement.David A. Madore2016-02-241-6/+44
|
* Start a new section on Gale-Stewart games.David A. Madore2016-02-241-5/+70
|
* Positional versus historical strategies. Prepare for induction.David A. Madore2016-02-221-33/+150
|
* More clarifications on impartial p.i. games (and player naming).David A. Madore2016-02-221-31/+79
|
* Rework and describe outline.David A. Madore2016-02-221-36/+72
|
* Isolate Brouwer's fixed point theorem.David A. Madore2016-02-221-9/+14
|
* More coin-turning (a bidimensional game).David A. Madore2016-02-221-1/+14
|
* Various clarifications and additions (notably, coin-turning games).David A. Madore2016-02-221-8/+115
|
* Illustration for Hercules-versus-Hydra game.David A. Madore2016-02-161-1/+62
|
* Describe chomp and Hackenbush.David A. Madore2016-02-161-5/+123
|
* Move the ultimatum game further down.David A. Madore2016-02-161-47/+46
|
* Typos (thanks, "z").David A. Madore2016-02-151-2/+2
|
* Another memento.David A. Madore2016-02-151-0/+2
|
* Typo.David A. Madore2016-02-141-2/+2
|
* Gale-Stewart games.David A. Madore2016-02-141-1/+15
|
* Things to think about (to be expanded).David A. Madore2016-02-141-0/+6
|
* Battle of the sexes game.David A. Madore2016-02-141-2/+29
|
* Hercules vs the Hydra.David A. Madore2016-02-141-14/+35
|
* Various gain matrices. Describe the gain of "chicken".David A. Madore2016-02-141-21/+81
|
* Briefly describe the prisoner's dilemma.David A. Madore2016-02-141-5/+30
|
* Last statement of the non-well-founded induction theorem.David A. Madore2016-01-301-2/+11
|
* Second proof (using ordinals) of the lemma.David A. Madore2016-01-301-0/+23
|
* Complete/fix the proof of the non-well-founded induction theorem (and its ↵David A. Madore2016-01-301-59/+76
| | | | key lemma).
* Steps toward proving the non-well-founded-induction theorem by a fixed point ↵David A. Madore2016-01-301-13/+74
| | | | argument.
* Fix missing condition.David A. Madore2016-01-291-3/+4
|
* Add version control line.David A. Madore2016-01-292-0/+11
|
* More re-reading.David A. Madore2016-01-291-31/+39
|
* Slight change of notation/convention on forfeiting games.David A. Madore2016-01-291-12/+11
|
* Definition by non-well-founded induction.David A. Madore2015-12-181-0/+67
|
* Reorganized by moving stuff on non-well-founded graphs to a different section.David A. Madore2015-12-181-59/+81
|
* Incremental improvements.David A. Madore2015-12-151-20/+69
|
* Transitive collapse, combinatorial games.David A. Madore2015-12-111-35/+182
|
* Very few changes.David A. Madore2015-12-081-7/+14
|
* New terminology: "downstream-closed" and "downstream-inductive", clarify things.David A. Madore2015-12-081-19/+83
|
* Terminology: use "sink" rather than "terminal (vertex)".David A. Madore2015-12-061-35/+34
|
* Terminology: use "out-neighbor" rather than "successor".David A. Madore2015-12-051-40/+40
|
* TODO of sorts.David A. Madore2015-12-051-0/+5
|
* Transitive collapse, etc.David A. Madore2015-12-041-16/+69
|
* Grundy function on a graph.David A. Madore2015-12-041-2/+28
|
* Well-founded graphs and well-founded induction.David A. Madore2015-12-041-0/+206
|
* Update outline.David A. Madore2015-12-041-2/+2
|
* State and prove von Neumann's minimax theorem.David A. Madore2015-12-031-16/+137
|
* Prove the existence of Nash equilibria.David A. Madore2015-12-031-32/+141
|
* Start writing about games in normal form.David A. Madore2015-12-031-0/+121
|
* Game of nim.David A. Madore2015-11-301-0/+9
|
* Fix description of Choquet's game.David A. Madore2015-11-301-10/+11
|