Timeline for Computably saturated Skolem hulls of Morley sequences in $\mathsf{PA}$
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2021 at 21:57 | comment | added | James E Hanson | @MattF. There is a syntactic formulation, although I'm not sure whether it's nicer. I've added it to the question. | |
| Jun 17, 2021 at 21:56 | history | edited | James E Hanson | CC BY-SA 4.0 |
Added syntactic formulation of Question 1.
|
| Jun 17, 2021 at 20:58 | history | edited | Andreas Blass | CC BY-SA 4.0 |
fixed a typo
|
| Jun 17, 2021 at 20:47 | comment | added | user44143 | Can Question 1 be asked purely in terms of the theory and formulas, without the models? It seems like it could begin: "Is there a completion $T$ and definable type $p$ such that for any consistent computable $\{\phi_i(x,y)\}$, there is a consistent formula $\psi(y)$, where $\psi\to\phi_i$ for each $i$ and ...." Perhaps then something at the end could capture the syntactic aspects of the Morley sequence, which you can probably see better than I can. I would enjoy a reformulation of that sort. | |
| Jun 17, 2021 at 19:35 | history | asked | James E Hanson | CC BY-SA 4.0 |