Timeline for A doubt about the Gödel condensation lemma
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 4, 2022 at 12:49 | vote | accept | Ândson josé | ||
| Mar 4, 2022 at 12:33 | history | edited | Farmer S | CC BY-SA 4.0 |
corrected spelling (Mostowski)
|
| Mar 4, 2022 at 12:13 | comment | added | Asaf Karagila♦ | @Ândsonjosé: If $M\prec V_{\omega_1}$, then $V_{\omega+1}\in M$, but $M$ is countable, so $V_{\omega+1}$ is not a subset of $M$. When you collapse $M$ to be transitive, there is some $x\in M$ such that $M$ 'thinks' that $x$ is $V_{\omega+1}$, but that $x$ is not, itself, $V_{\omega+1}$. | |
| Mar 4, 2022 at 12:08 | comment | added | Ândson josé | @AsafKaragila the sentences absolute over transitive models are $\Delta_{1}$, but be uncountable is $\Pi_{1}$, so i din't understand your point | |
| Mar 4, 2022 at 12:03 | comment | added | Ândson josé | I don't think that is the heart of problem | |
| Mar 4, 2022 at 6:23 | comment | added | Asaf Karagila♦ | And in this case, any elementary submodel will contain many $V_\alpha$s which are uncountable, which witness its intransitivity. | |
| Mar 4, 2022 at 1:25 | history | answered | Noah Schweber | CC BY-SA 4.0 |