Timeline for Scott sentence in models of set theory
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2014 at 8:15 | vote | accept | user38200 | ||
| May 8, 2014 at 18:56 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
update notation to match the question
|
| May 8, 2014 at 18:11 | comment | added | Emil Jeřábek | In case it’s relevant, the argument does not need full choice: everything works fine if $V$ and $\mathfrak M$ satisfy just ZF + DC. | |
| May 8, 2014 at 17:35 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
correction
|
| May 8, 2014 at 17:13 | comment | added | Emil Jeřábek | You are right, I’ll fix it. | |
| May 8, 2014 at 16:45 | comment | added | Trevor Wilson | Shoenfield absoluteness doesn't apply, because $\omega_1 \not\subset \mathfrak{M}$. | |
| May 8, 2014 at 16:42 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |