Timeline for Set theory for category theory beginners
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2009 at 15:50 | comment | added | Jon Awbrey | Hey! That makes a good motto: MK, Non Plus Ultra! | |
| Nov 23, 2009 at 15:17 | comment | added | Mike Shulman | This is the axiom system usually called MK, for "Morse-Kelley" (this being the Kelley, and presumably the Morse being the one he refers to). | |
| Nov 23, 2009 at 14:22 | history | answered | Jon Awbrey | CC BY-SA 2.5 |