summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Add disclaimer about provisional status of these notes.upload-20160305David A. Madore2016-03-051-0/+9
|
* Minor changes noted during lecture.David A. Madore2016-02-291-13/+24
|
* Link zero-sum games and linear programming.David A. Madore2016-02-281-1/+96
|
* Another self-note.David A. Madore2016-02-261-0/+7
|
* Self-note.David A. Madore2016-02-251-0/+3
|
* Remove now redundant pieces.David A. Madore2016-02-251-65/+0
|
* Determinacy of perfect information games from Gale-Stewart games.David A. Madore2016-02-251-3/+152
|
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 04:27:12 +0000