joint work with Thomas Place

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

Feb. 22, 2012, 2:15 p.m.

Room

room 5870

Title in Polish

Model theory with nominal sets

Seminar

Seminar Automata Theory

---

Using nominal sets, we define a uniform approach to logics over data
words, data trees, data graphs and so on. The key technical result is
that, in the equality symmetry, formulas that quantify over data
values are equivalent to formulas that do not quantify over data
values.

---