Model theory with nominal sets

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Termin

22 lutego 2012 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Thomas Place

Seminarium

Seminarium „Teoria automatów”

---

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.

---