Timeline for Mathematicians wearing hats on arbitrary total orders
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2015 at 6:13 | comment | added | Andrej Bauer | Beautiful, and with a nicely hidden use of choice in the second sentence of the proof ;-) | |
| Apr 1, 2015 at 2:22 | comment | added | Joel David Hamkins | I added an account of the Hardin/Taylor strategy. | |
| Apr 1, 2015 at 2:22 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Explained the Hardin/Taylor strategy
|
| Mar 31, 2015 at 15:28 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Fixed some grammar issues
|
| Mar 31, 2015 at 9:37 | vote | accept | Adam P. Goucher | ||
| Mar 31, 2015 at 8:03 | history | edited | ACL | CC BY-SA 3.0 |
Typo. $sim$ -> $\sim$
|
| Mar 31, 2015 at 2:54 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 73 characters in body
|
| Mar 31, 2015 at 2:32 | comment | added | Pace Nielsen | I found it. It is a little different: math.upenn.edu/~ted/203S10/References/peculiar.pdf Also see this old mathoverflow post: mathoverflow.net/questions/20882/… | |
| Mar 31, 2015 at 2:30 | comment | added | Joel David Hamkins | It wouldn't surprise me if this argument has already been known. I've seen similar kinds of arguments before, but not exactly this one. | |
| Mar 31, 2015 at 2:28 | comment | added | Pace Nielsen | I seem to remember a talk on this very problem a few years ago, at the Joint Meetings, with essentially the same proof given. | |
| Mar 31, 2015 at 2:23 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
deleted 49 characters in body
|
| Mar 31, 2015 at 2:03 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
improved exposition
|
| Mar 31, 2015 at 1:49 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |