Timeline for Category theory from MK class theory perspective?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2017 at 19:56 | comment | added | Joel David Hamkins | Thanks for accepting! But if a better answer comes along, with an actual reference doing category theory in KM, then please feel free to switch. | |
| Jul 3, 2017 at 17:18 | comment | added | Joel David Hamkins | Oh, it is stronger than ZFC, but not by much, since it doesn't reach even to an inaccessible cardinal. See my blog post jdh.hamkins.org/km-implies-conzfc showing that KM implies Con(ZFC) and much more. | |
| Jul 3, 2017 at 17:11 | comment | added | Alec Rhea | Thank you for the clarification -- I had assumed that MK being a proper extension of ZFC would make it reasonably much stronger. | |
| Jul 3, 2017 at 17:08 | vote | accept | Alec Rhea | ||
| Jul 10, 2017 at 0:07 | |||||
| Jul 3, 2017 at 15:05 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |