Timeline for Surreal Numbers as Inductive Type?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 22, 2015 at 12:11 | vote | accept | Todd Trimble | ||
| Jan 22, 2015 at 6:41 | answer | added | Mike Shulman | timeline score: 12 | |
| Jan 31, 2012 at 11:23 | answer | added | kow | timeline score: 3 | |
| May 2, 2011 at 6:20 | answer | added | Mike Shulman | timeline score: 7 | |
| Apr 30, 2011 at 21:04 | comment | added | David Corfield | Hi Todd. It looks like his talk is here pages.cpsc.ucalgary.ca/~gscruttw/publications.html, and there is a paper there too - Combinatorial Game Categories. | |
| Apr 29, 2011 at 16:39 | comment | added | Todd Trimble | Hi, David, and thanks! I think you're right that it makes sense to look at games first. Both of those posts look very relevant; do you know whether Cruttwell's notes are written up? | |
| Apr 29, 2011 at 15:57 | comment | added | David Corfield | Is there anything useful in Mike Shulman's post golem.ph.utexas.edu/category/2009/11/…? Or this categories mailing list post facultypages.ecc.edu/alsani/ct99-00%288-12%29/msg00241.html? | |
| Apr 29, 2011 at 3:21 | history | asked | Todd Trimble | CC BY-SA 3.0 |