Archiv aktualit
 Záznam z habilitační přednášky Lenky Zalabové, Ph.D.

Přednáška se konala ve středu 11.3.2020 v 16.00 v posluchárně M1 - záznamy:

#### Symmetric spaces and their filtered generalizations

Abstract: We focus on the role of symmetries in geometry and geometric control theory. We introduce symmetric spaces as important examples of geometries with many symmetries  and we study consequences of existence of special symmetries. Finally we study various generalizations of symmetric spaces.

Aktualizováno Pátek, 13 Březen 2020 13:34

 Online seminář z algebry - 7.5.2020

Další seminář z algebry se koná 7.5.2020 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde.

#### Christian Espindola

Topos-theoretic completeness theorems

Abstrakt:
In this talk we will delve into the background details of the previous talk by introducing syntactic proof systems and their categorical semantics, including the construction of syntactic categories and $\kappa$-classifying toposes, as well as the role of certain properties of Grothendieck topologies and Kripke-Joyal semantics. We will then study some topos-theoretic completeness theorems for certain infinitary logics that generalize results of Deligne and Joyal.

Aktualizováno Pondělí, 04 Květen 2020 10:43

Více článků...