Seminar in Model Theory - Inrtroduction to Stability Theory WS 2021/22, Martin Hils

Das Seminar bietet eine Einführung in die Stabilitätstheorie. Behandelt werden unter anderem:

- Stabile Formeln und deren Characterisierung

- Lokale Ränge und Definierbarkeit von Typen

- NIP und NSOP Theorien: ein erster Blick auf Shelahs Klassifikationshierarchie

- Teilen und Gabeln in stabilen Theorien

Als Hauptquelle werden wir Vorlesungsnotizen von Artem Chernikov verwenden.

The seminar gives an introduction to stability theory. We will cover in particular the following topics:

- Stable formulas and their characterisation

- Local ranks and definability of types

- NIP and NSOP theories: a glimps at Shelah's classification hierarchy

- Dividing and forking in stable theories

In the seminar, we will mainly use lecture notes by Artem Chernikov as our source.

Kurs im HIS-LSF