Timeline for Can this naïve-like set theory using acyclic membership be consistent?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2022 at 19:00 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jan 10, 2022 at 19:24 | comment | added | Zuhair Al-Johar | @LSpice, agreed! Thanks | |
| Jan 10, 2022 at 18:50 | comment | added | LSpice | In your various posts, you consistently write $``x''$, which looks awful (even in proper TeX, as opposed to MathJax)—for example, the two straight quotes in math mode appear as a double prime, not as a right double quotation mark. Please use instead “$x$”. I have edited accordingly. | |
| Jan 10, 2022 at 18:50 | history | edited | LSpice | CC BY-SA 4.0 |
Proofreading
|
| Jan 10, 2022 at 18:24 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 3 characters in body
|
| Jan 9, 2022 at 19:30 | answer | added | Peter Gerdes | timeline score: 1 | |
| Jan 9, 2022 at 19:20 | comment | added | Peter Gerdes | Ahh, thanks...and yah I misread the comprehension axiom when I gave my first answer let me think for a moment. | |
| Jan 9, 2022 at 18:47 | comment | added | Zuhair Al-Johar | @PeterGerdes it is $\forall y \in x \ (\phi)$, it means for all y in x such that formula $ \phi$ is true | |
| Jan 9, 2022 at 18:43 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 2 characters in body
|
| Jan 9, 2022 at 18:26 | comment | added | Peter Gerdes | What's $x(\phi)$ in the Induction schema? | |
| Jan 9, 2022 at 18:11 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 21 characters in body
|
| Jan 9, 2022 at 14:11 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |