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.

Vážení přátelé matematiky,

srdečně Vás zveme na výlet, který se bude konat v sobotu 18. října 2025.

Pojedeme do Níhova vlakem, jenž odjíždí z Králova Pole v 8:07 a z hlavního nádraží v 7:53 (5 mimobrněnských zón).

Plánovaná trasa má délku 21 km a převýšení +600 -800 metrů, vede většinou po neznačených cestách a dovede nás do Tišnova, odkud jezdí vlaky do Brna každou chvíli.
Vlastní přibližovadlo lze zaparkovat v Tišnově u nádraží. Z trasy je možné se na několika místech odpojit, přičemž spoje do Brna jezdí jednou za dvě hodiny.

Doporučené vybavení: tužka nebo propiska.

Těšíme se na vás,

Pavel Francírek a Michal Kunc, organizátoři 

Případné dotazy zasílejte Tato emailová adresa je chráněna před spamboty, abyste ji viděli, povolte JavaScript .