Přednášky se konají v období 18.11. - 21.11.2025, v budově ÚMS (učebny M3, M5 a M6)

Itai Ben-Yaacov

Continuous first-order logic and metric structures

Út 18.11. 15:00 - 16:00 (M3)
St 19.11. 14:00 - 15:00 (M5)
Čt 20.11. 11:00 - 12:00 (M6)
Pá 21.11. 14:00 - 15:00 (M5)

Abstract: 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.