Timeline for Homogeneous Structures
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2011 at 16:12 | comment | added | Ioannis Souldatos | Thank you for the reference. I will have to go through it to clarify all the details. It seems to me a natural question to ask. Someone might have thought about it already even in the non-recursive case. | |
| Jun 21, 2011 at 14:24 | comment | added | Ali Enayat | @Ioannis: Update, it turns out that the answer to your question is POSITIVE for the recursively saturated $M$; which you may have already known about, if not, see Theorem 10 of: S. Buechler, Steven, Expansions of models of $\omega $ω-stable theories. J. Symbolic Logic 49 (1984), no. 2, 470–477 | |
| Jun 19, 2011 at 17:41 | comment | added | Ali Enayat | @Ioannis: there is an interesting special case of the question you are asking, when M is a countable recursively saturated model of $PA$, for which I suspect that the answer to your first question is negative. If I make any progress, I will let you know. | |
| Jun 9, 2011 at 22:10 | history | asked | Ioannis Souldatos | CC BY-SA 3.0 |