Timeline for Authorship of Grothendieck universes
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 28, 2022 at 2:45 | history | edited | Joel David Hamkins |
edited tags
|
|
Oct 28, 2022 at 2:08 | answer | added | Joel David Hamkins | timeline score: 18 | |
Oct 27, 2022 at 23:11 | answer | added | user234212323 | timeline score: 6 | |
Mar 2, 2015 at 18:50 | vote | accept | Colin McLarty | ||
Mar 1, 2015 at 19:42 | history | edited | Colin McLarty | CC BY-SA 3.0 |
Clarify that this is about Grothendieck's first uses of universes not the first occurrence of the idea in set theory.
|
Mar 1, 2015 at 18:29 | answer | added | Buschi Sergio | timeline score: 9 | |
Mar 1, 2015 at 15:16 | answer | added | Colin McLarty | timeline score: 24 | |
Oct 21, 2013 at 0:57 | comment | added | Colin McLarty | I believe that too, based the bits of set theory in other things he wrote, as already in the Tohoku paper. I fear there is direct evidence in some long-unread letters or notes somewhere that I will never find. | |
Oct 20, 2013 at 6:17 | comment | added | Joël | I have no solid evidence, but I believe it was written by Grothendieck himself. | |
Dec 29, 2012 at 14:32 | history | asked | Colin McLarty | CC BY-SA 3.0 |