Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

Teoria Automatów

 

Model theory of order-like and tree-like homogeneous structure


Prelegent: Pierre Simon

2020-01-22 14:15

I will discuss results towards a model-theoretic classification of order-like homogeneous structures,
including for instance all structures FO-definable in a dense linear order.
I will also mention ongoing work towards extending this classification to include structures FO-definable in dense trees.
The talk will not assume knowledge of model theory.