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

Speaker(s)

Pierre Simon

Affiliation

UC Berkeley

Date

Jan. 22, 2020, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

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.

---