Timeline for Use of indiscernibles in model theory
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2015 at 18:27 | comment | added | Rami Grossberg | Andres, your statement that the classical use of inidscernibles in model theory is incorrect. The first theorem of that kind was obtained by Shelah around 1971 (unstable tehory has many models), however indiscernibles were introduced in 1956 by Ehernfeucht & Mostowski to construct models with many automorphisms. Morley in 1962 used them in two crucial steps in his proof of categoricity: To get \aleph_0-stability from uncountable categoricity and as a skeleton for arbitrary large not \aleph_1 saturated models (by taking primary models over indiscernible sequences). | |
| Oct 22, 2014 at 19:04 | comment | added | Andrés E. Caicedo | Well, no, I am presenting a third use of indiscernibles, but not in model theory proper. (Anyway, the other answers illustrate further applications, so one could argue your comment applies after all.) :-) | |
| Oct 22, 2014 at 18:14 | comment | added | ACL | As Pagnol says, « Ça fait quatre tiers »... :-) | |
| Dec 25, 2010 at 8:21 | vote | accept | Eran | ||
| Dec 24, 2010 at 21:40 | history | answered | Andrés E. Caicedo | CC BY-SA 2.5 |