Skip to main content
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