Nie jesteś zalogowany | Zaloguj się

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

Prelegent(ci)
Pierre Simon
Afiliacja
UC Berkeley
Termin
22 stycznia 2020 14:15
Pokój
p. 5050
Seminarium
Seminarium „Teoria automatów”

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.