Continuous first-order logic and metric structures.

Itai Ben-Yaacov

In this series of lectures I will cover as much as possible the basic notions and tools pertaining to continuous first-order logic as a logical framework for studying metric structures. I shall attempt to cover mostly points where there are some "surprises" when compared with  classical logic.
- Syntax and semantics.   Compactness.   Types and type spaces.
- Approximate homogeneity (and approximate saturation) in separable structures.
- Definable sets.
- Type isolation, omitting types, Ryll-Nardzewski characterisation of separable categoricity.

If time allows, I might also discuss other, related topics, such as the recently very much studied affine logic.

Day 1 (18. 11.): room M3 15:00 - 16:00

Day 2 (19. 11.): room M5 14:00 - 15:00

Day 3 (20. 11.): room M6 11:00 - 12:00

Day 4 (21. 11.): room M5 14:00 - 15:00