Open Access
Translator Disclaimer
2011 Lascar Types and Lascar Automorphisms in Abstract Elementary Classes
Tapani Hyttinen, Meeri Kesälä
Notre Dame J. Formal Logic 52(1): 39-54 (2011). DOI: 10.1215/00294527-2010-035

Abstract

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.

Citation

Download Citation

Tapani Hyttinen. Meeri Kesälä. "Lascar Types and Lascar Automorphisms in Abstract Elementary Classes." Notre Dame J. Formal Logic 52 (1) 39 - 54, 2011. https://doi.org/10.1215/00294527-2010-035

Information

Published: 2011
First available in Project Euclid: 13 December 2010

zbMATH: 1233.03038
MathSciNet: MR2747161
Digital Object Identifier: 10.1215/00294527-2010-035

Subjects:
Primary: 03C45
Secondary: 03C52

Keywords: abstract elementary classes , geometric stability theory

Rights: Copyright © 2011 University of Notre Dame

JOURNAL ARTICLE
16 PAGES


SHARE
Vol.52 • No. 1 • 2011
Back to Top