Difference hierarchies
18/12/2017 17:00, 6.2.33, Dpt. de Matemática - FCUL
Jean-Éric Pin (Institut de Recherche en Informatique Fondamentale, CNRS et University Paris-Diderot)
Faculty of Sciences, University of Lisbon
Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this lecture, I will review standard techniques on difference hierarchies, mostly due to Hausdorff. These techniques will be illustrated by some decidability results on difference hierarchies based on shuffle ideals and polynomials of group languages.
|