You are not logged in | Log in

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.