Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

Hyttinen, Tapani; Kesälä, Meeri

Notre Dame J. Formal Logic, Tome 52 (2011) no. 1, p. 39-54 / Harvested from Project Euclid

Résumé

We study Lascar strong types and Galois types and especially their relation to notions of type which have finite character. We define a notion of a strong type with finite character, the so-called Lascar type. We show that this notion is stronger than Galois type over countable sets in simple and superstable finitary AECs. Furthermore, we give an example where the Galois type itself does not have finite character in such a class.

Publié le : 2011-01-15
Classification: geometric stability theory, abstract elementary classes, 03C45, 03C52

@article{1292249609,
     author = {Hyttinen, Tapani and Kes\"al\"a, Meeri},
     title = {Lascar Types and Lascar Automorphisms in Abstract Elementary Classes},
     journal = {Notre Dame J. Formal Logic},
     volume = {52},
     number = {1},
     year = {2011},
     pages = { 39-54},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1292249609}
}

Hyttinen, Tapani; Kesälä, Meeri. Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame J. Formal Logic, Tome 52 (2011) no. 1, pp.  39-54. http://gdmltest.u-ga.fr/item/1292249609/