Timeline for Use of indiscernibles in model theory
Current License: CC BY-SA 4.0
11 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 10, 2019 at 4:45 | history | edited | YCor | CC BY-SA 4.0 |
formatting (the question was bumped a few hours ago)
|
Sep 9, 2019 at 19:00 | answer | added | andrey bovykin | timeline score: 2 | |
Mar 10, 2015 at 14:28 | answer | added | Rami Grossberg | timeline score: 3 | |
Mar 10, 2015 at 13:21 | answer | added | Rami Grossberg | timeline score: 4 | |
Mar 10, 2015 at 13:18 | answer | added | Rami Grossberg | timeline score: 5 | |
Oct 22, 2014 at 13:24 | answer | added | Avshalom | timeline score: 5 | |
Dec 29, 2010 at 16:39 | answer | added | Dave Marker | timeline score: 16 | |
Dec 25, 2010 at 8:21 | vote | accept | Eran | ||
Dec 24, 2010 at 21:40 | answer | added | Andrés E. Caicedo | timeline score: 14 | |
Dec 24, 2010 at 21:28 | comment | added | Noah Schweber | I'm not sure if this is the sort of thing you're interested in, but: a more modern usage of indiscernible sequences is in the study of "nice" (simple, or stable, or . . .) theories via Morley sequences, which are indiscernible sequences satisfying additional properties. For example, in a simple theory, Morley sequences witness interdependencies in a very nice way (see Grossberg, Iovino, Lessman's paper "A Primer of Simple Theories"). | |
Dec 24, 2010 at 21:20 | history | asked | Eran | CC BY-SA 2.5 |