Timeline for Is $\in$-induction provable in first order Zermelo set theory?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2018 at 21:34 | vote | accept | Zuhair Al-Johar | ||
| Nov 5, 2018 at 21:09 | comment | added | Elliot Glazer | @ZuhairAl-Johar That's right. | |
| Nov 5, 2018 at 20:56 | comment | added | Zuhair Al-Johar | so the property violating $\in$-induction is $\exists t (t=TC(x))$ right? | |
| Nov 5, 2018 at 20:42 | comment | added | Elliot Glazer | @ZuhairAl-Johar Iterated power set. | |
| Nov 5, 2018 at 17:53 | comment | added | Zuhair Al-Johar | what is $\mathcal{P}^n(x)$? is it the set of all subsets of $x$ of cardinality $n$, or is it the $n^{th}$ iterative power of $x$? | |
| Nov 5, 2018 at 14:15 | comment | added | Danielle Ulrich | Oh, I see, I was misreading it. Thanks | |
| Nov 5, 2018 at 13:47 | comment | added | Elliot Glazer | @DouglasUlrich That's a proper class in this model. | |
| Nov 5, 2018 at 13:26 | comment | added | Danielle Ulrich | Doesn't the set $\{\omega + \omega\} \times \mathbb{Z}$ violate Foundation? | |
| Nov 4, 2018 at 20:05 | comment | added | Elliot Glazer | @ZuhairAl-Johar Integers. | |
| Nov 4, 2018 at 19:54 | comment | added | Zuhair Al-Johar | I just want to make sure of the interval $[-m,\infty)$, does it mean the set of all reals $\geq -m$, or does it mean the set of all integers (elements of $\mathbb{Z}$) $\geq -m$ | |
| Nov 3, 2018 at 21:54 | history | edited | Elliot Glazer | CC BY-SA 4.0 |
added 28 characters in body
|
| Nov 3, 2018 at 18:54 | history | edited | Elliot Glazer | CC BY-SA 4.0 |
added 1 character in body
|
| Nov 3, 2018 at 18:48 | history | edited | Elliot Glazer | CC BY-SA 4.0 |
added 3 characters in body
|
| Nov 3, 2018 at 18:42 | history | answered | Elliot Glazer | CC BY-SA 4.0 |