Timeline for computing Morley rank using parameters from an arbitrary model
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2013 at 0:31 | vote | accept | Dima Sustretov | ||
| Feb 11, 2013 at 9:41 | answer | added | John Baldwin | timeline score: 5 | |
| Feb 9, 2013 at 16:01 | answer | added | DayGuest | timeline score: 0 | |
| Dec 11, 2012 at 20:45 | comment | added | Dima Sustretov | Does this mean that in $DCF_0$, say, there are examples of sets such that their Cantor-Bendixson rank (wrt some model) is not the same as their Morley rank? | |
| Dec 11, 2012 at 20:43 | history | edited | Dima Sustretov | CC BY-SA 3.0 |
added 16 characters in body
|
| Dec 11, 2012 at 14:55 | answer | added | tim | timeline score: 0 | |
| Jul 30, 2012 at 12:47 | comment | added | Dima Sustretov | Dear James, how is definability of Morley rank related to the fact that one can compute Morley rank using parameters from existentially closed models? | |
| Jul 27, 2012 at 2:55 | comment | added | James Freitag | Dima, I will add to your question the following remark: the fact that this is true in an algebraically closed field of any characteristic has nothing to do with the field and everything to do with the strong minimality of the theory. When the theory is strongly minimal, then Morley rank is definable in families, so working in an existentially closed model would suffice. | |
| Jul 22, 2012 at 11:26 | history | asked | Dima Sustretov | CC BY-SA 3.0 |