Timeline for Enhancing Grothendieck's universes and Grothendieck's axiom: Feferman's universe
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Oct 19, 2018 at 9:53 | history | edited | Jxt921 | CC BY-SA 4.0 |
added 60 characters in body; edited title
|
| Oct 19, 2018 at 9:51 | vote | accept | Jxt921 | ||
| Oct 18, 2018 at 0:58 | comment | added | Mike Shulman | @AsafKaragila I agree, the question as written now is rather misleading in its attributions. It would be more correct and appropriate to mention and emphasize Feferman's introduction of ZFC/S, which was a much more important contribution. ZMC/S is a very minor modification of ZFC/S and not, in my opinion, worthy of getting my name attached to the theory, even if I were the first one to propose it (which I'm not even sure of). | |
| Oct 17, 2018 at 17:49 | comment | added | Asaf Karagila♦ | With the utmost respect for Mike, what does his name do there? | |
| Oct 17, 2018 at 17:44 | answer | added | Mike Shulman | timeline score: 12 | |
| Oct 17, 2018 at 13:27 | history | asked | Jxt921 | CC BY-SA 4.0 |