joint work with Thomas Place

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Language of the talk

English

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.

---