An Introduction to Stability-Theoretic Techniques
Presenter
February 3, 2014
Keywords:
- model theory
- elementary equivalence
- types
- quantifier elimination
- elimination of imaginaries
MSC:
- 03Cxx
- 03C07
- 03C10
- 03C40
- 03C45
- 03C60
Abstract
The aim of this tutorial is to present the model-theoretic tools used in applications to other areas of mathematics. I will focus on notions which will be employed in the other tutorials such as pseudofinite structures, stability, NIP, measures.