Timeline for (Non?)-linearity of the consistency strength ordering in ZF
Current License: CC BY-SA 2.5
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 28, 2011 at 0:35 | history | answered | Richard Borcherds | CC BY-SA 2.5 |