Stabilitätstheorie

Seminar 2-std. - ECTS: 6

Stability theory is part of model theory, it is very beautiful and elegant. It gives a very abstract way of analyzing a large class of structures. In some sense it is a generalization of algebraic geometry: it enables us to talk about independence, dimension, generic elements, etc, in a more general setting. The material goes beyond what is typically offered in an introductory class in model theory.
We shall start with Morley's famous categoricity theorem that states that if T is a complete first order theory that has a unique model up to isomorphism in some uncountable cardinal, then it has a unique model up to isomorphism in every uncountable cardinal. These theories are called uncountably categorical theories. Uncountable categorical theories are the simplest examples of stable theories, and this will lead us to the next topics.
We will develop the basic notions of stability theory: the order property, indiscernibles, definability of of types, forking, imaginary elements and more. We may also look at stable groups.
We shall see examples of stable theories from algebra such as algebraically closed fields.


Zielgruppe:
BA, MA, D für Studierende des 6., 8. und 10. Semesters

Mitarbeit: Itay Kaplan

Zeit: Di. 14:00-16:00

Siehe auch Kommentar zum Seminar und hier für weitere Informationen.