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.

---