Timeline for What's the benefit of adding a well-ordering over all classes to $\textsf{MK}$?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 29, 2023 at 19:45 | vote | accept | Zuhair Al-Johar | ||
Oct 29, 2023 at 18:30 | answer | added | Joel David Hamkins | timeline score: 2 | |
Oct 29, 2023 at 3:00 | comment | added | Zuhair Al-Johar | @LSpice, Thanks! | |
Oct 29, 2023 at 2:53 | comment | added | LSpice |
TeX note: \sf applies to all following text, so $\sf ZF + \text{there is a strongly accessible cardinal}$ \sf ZF + \text{there is a strongly accessible cardinal} has everything in a sans-serif font, which presumably is not what was intended. You can use {\sf ZF} + \text{…} or, in the modern LaTeX style where formatting commands take arguments, \textsf{ZF} + \text{…} . I have edited accordingly.
|
|
Oct 29, 2023 at 2:52 | history | edited | LSpice | CC BY-SA 4.0 |
Fix `\sf` grouping
|
Oct 29, 2023 at 2:51 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |