Uniformization Problem for Variants of First Order Logic over Finite Words

Speaker(s)

Vincent Michielini

Affiliation

Uniwersytet Warszawski

Date

May 23, 2018, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

We study the uniformization problem for natural variants of the first order logic over finite words. We show that none of them has the uniformization property, as witnessed by proposed counterexamples.

---