Timeline for Can having no more than countably many classes, be inferred from, having every class being countable?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 28, 2022 at 6:49 | history | edited | Holo | CC BY-SA 4.0 |
added 226 characters in body
|
| Dec 28, 2022 at 6:48 | comment | added | Holo | @ZuhairAl-Johar you are right, I missed the part in your previous question that stated that ZFC+Classes is still in finitary logic, and assumed everything moved to infinitary logic. Sorry | |
| Dec 28, 2022 at 5:39 | comment | added | Zuhair Al-Johar | You are constructing classes using infinitary formulas, this cannot be assured to exist in $\sf ZFC + Classes + \text{ Definability rule}$. | |
| Dec 27, 2022 at 22:28 | history | answered | Holo | CC BY-SA 4.0 |