Timeline for Natural theories for the failure of gap-1 transfer principle
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2017 at 4:31 | comment | added | Mohammad Golshani | @IoannisSouldatos Though such an example does not the job for me, but I'm interested to see it. | |
| Mar 22, 2017 at 15:09 | comment | added | Ioannis Souldatos | I was looking for such examples too, but the only one I found is the one you mentioned. It is proved in Chang and Keisler. Will an $L_{\omega_1,\omega}$-sentence with models of type $(\aleph_1,\aleph_0)$, but no models of type $(\aleph_2,\aleph_1)$ work for your purposes? | |
| Jan 3, 2017 at 7:00 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |