Timeline for Countable model theory for $\omega$-stable theories?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2014 at 14:07 | comment | added | Richard Rast | This comment is helpful; it turns out if T is eni-nmd, then isomorphism of countable models is determined by which types they realize (a countable subset of a countable set). This is very low in the hierarchy. Thank you! | |
| Aug 13, 2014 at 19:48 | comment | added | John Goodrick | Have you thought about "eni-nmd", that is, any eventually nonisolated type is nonorthogonal to the emptyset? | |
| Aug 13, 2014 at 19:47 | answer | added | John Goodrick | timeline score: 2 | |
| Jul 14, 2014 at 17:47 | history | edited | Richard Rast | CC BY-SA 3.0 |
edited title
|
| Jul 14, 2014 at 17:18 | history | asked | Richard Rast | CC BY-SA 3.0 |