Timeline for On the large cardinals foundations of categories
Current License: CC BY-SA 3.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
Jun 30, 2013 at 6:48 | vote | accept | Asaf Karagila♦ | ||
May 15, 2013 at 9:07 | comment | added | Michal R. Przybylek | @Joel, +1, that's a good comment and a very interesting answer! | |
May 14, 2013 at 21:34 | answer | added | Zhen Lin | timeline score: 12 | |
May 14, 2013 at 10:44 | comment | added | Joel David Hamkins | See related answer on weaker universe concepts here: mathoverflow.net/questions/24552/…. One can have a hierarchy of elementary substructures $V_\kappa\prec V$ while paying no consistency strength price---it is equiconsistent with ZFC. | |
May 14, 2013 at 8:06 | answer | added | Andrej Bauer | timeline score: 9 | |
May 14, 2013 at 7:43 | answer | added | David Roberts♦ | timeline score: 4 | |
May 14, 2013 at 6:46 | answer | added | Stefan Geschke | timeline score: 3 | |
May 14, 2013 at 4:58 | history | asked | Asaf Karagila♦ | CC BY-SA 3.0 |