Timeline for End-extension in Gödel's constructible universe
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3 at 17:38 | comment | added | Johan | @AliEnayat Thanks! I'll have a look. | |
| Apr 3 at 9:51 | comment | added | Ali Enayat | The paper "Partially-elementary end extensions of countable admissible sets" of Zach McKenzie is relevant to the question; it can be found here: arxiv.org/abs/2201.04817 | |
| Mar 21 at 5:12 | answer | added | C7X | timeline score: 3 | |
| Aug 19, 2019 at 8:34 | comment | added | Monroe Eskew | @Johan- Since $L_\zeta,L_\Sigma$ are members of $L_\kappa$, talking about their satisfaction relations within $L_\kappa$ requires less complex quantification. The statement $M \models \varphi(\vec x)$ is $\Delta_1$. | |
| Aug 18, 2019 at 23:05 | comment | added | Johan | But saying that "there is some pair like $(\zeta,\Sigma)$" should be a $\Sigma_2$ predicate in order to be reflected into $L_\Sigma$ from a potential $L_\kappa$. I don't see how it may be the case ? | |
| Aug 18, 2019 at 17:30 | comment | added | Monroe Eskew | I think this is impossible because $L_\Sigma$ says there is no pair like $(\zeta,\Sigma)$, whereas for any larger $\kappa$, $L_\kappa$ would see that $(\zeta,\Sigma)$ has the desired property. | |
| Aug 18, 2019 at 17:09 | history | asked | Johan | CC BY-SA 4.0 |