Lascar Types and Lascar Automorphisms in Abstract Elementary Classes

Notre Dame Journal of Formal Logic 52 (1):39-54 (2011)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,726

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Lascar Group and the Strong Types of Hyperimaginaries.Byunghan Kim - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):497-507.
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
Simplicity and uncountable categoricity in excellent classes.Tapani Hyttinen & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 139 (1):110-137.
Lascar Strong Types in Some Simple Theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
Galois groups as quotients of Polish groups.Krzysztof Krupiński & Tomasz Rzepecki - 2020 - Journal of Mathematical Logic 20 (3):2050018.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.

Analytics

Added to PP
2010-12-14

Downloads
222 (#95,545)

6 months
12 (#311,829)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpreting groups and fields in simple, finitary AECs.Tapani Hyttinen & Meeri Kesälä - 2012 - Annals of Pure and Applied Logic 163 (9):1141-1162.

Add more citations

References found in this work

Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Strong splitting in stable homogeneous models.Tapani Hyttinen & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 103 (1-3):201-228.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
Almost orthogonal regular types.Ehud Hrushovski - 1989 - Annals of Pure and Applied Logic 45 (2):139-155.

View all 12 references / Add more references