Classification theory for abstract elementary classes
Rami Grossberg · Contemporary mathematics - American Mathematical Society · 2002
In this paper some of the basics of classification theory for abstract elementary classes are discussed. Instead of working with types which are sets of formulas (in the first-order case) we deal instead with Galois types which are essentially orbits of automorphism groups acting on the structure. Some of the most basic results in classification theory for non elementary classes are presented. The motivating point of view is Shelah's categoricity conjecture for L# 1 ,# . While only very basic theorems are proved, an effort is made to present number of different technologies: Flavors of weak diamond, models of weak set theories, and commutative diagrams. We focus in issues involving existence of Galois types, extensions of types and Galois-stability.