Timeline for Is this theory of well founded countable sets formalized in infinitary logic, complete and categorical?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 11, 2023 at 21:22 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 27 characters in body
|
| Jun 9, 2023 at 11:34 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 61 characters in body
|
| Jun 9, 2023 at 11:33 | comment | added | Zuhair Al-Johar | @YairHayut, Yes! I think you are right. I need to add an axiom against this. Thanks! | |
| Jun 9, 2023 at 9:06 | comment | added | Emil Jeřábek | @YairHayut It’s not an axiom at all, but a definition of comprehension terms as a shorthand notation. It just explains what “$x=\{y\mid\dots\}$” means in the next two axioms. | |
| Jun 9, 2023 at 8:56 | comment | added | Yair Hayut | What do you mean by the "Define" axiom? Is it merely the empty set axiom, or something else? | |
| Jun 9, 2023 at 8:05 | history | became hot network question | |||
| Jun 9, 2023 at 5:39 | vote | accept | Zuhair Al-Johar | ||
| Jun 9, 2023 at 0:45 | answer | added | Noah Schweber | timeline score: 8 | |
| Jun 8, 2023 at 23:27 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |