Uniformization Problem for Variants of First Order Logic over Finite Words

Prelegent(ci)

Vincent Michielini

Afiliacja

Uniwersytet Warszawski

Termin

23 maja 2018 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

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.

---