Timeline for Is every formula of LΩ equivalent to a formula of L1 modulo T1?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Dec 14, 2016 at 15:45 | comment | added | David Pokorny | $\exists v\,\forall x\, x\in v$ is not true in all models of $T_0$ but it is in all models of $T_1$. | |
| Dec 14, 2016 at 7:34 | review | Close votes | |||
| Dec 14, 2016 at 15:49 | |||||
| Dec 14, 2016 at 4:48 | comment | added | Noah Schweber | In what sense is $T_0\not=T_1$, if $T_1=T_2$? (Note that in my original answer where I said that the hierarchy collapses immediately in a sense, my indexing was wrong: $T_0$ is already "essentially the same as" $T_1$, in a precise sense; and I've edited that.) | |
| Dec 14, 2016 at 2:44 | comment | added | David Pokorny | Okay, it looks like $T_0 \not= T_1$ and $T_1 = T_2 = T_\Omega$. | |
| Dec 14, 2016 at 2:28 | history | edited | David Pokorny | CC BY-SA 3.0 |
added 28 characters in body
|
| Dec 14, 2016 at 2:00 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Dec 14, 2016 at 1:56 | answer | added | Noah Schweber | timeline score: 2 | |
| Dec 13, 2016 at 23:46 | history | asked | David Pokorny | CC BY-SA 3.0 |