Separability problem

9^th February 2016, 13:00 Ashton Lecture Theater
Dr Wojciech Czerwinski
University of Warsaw

Abstract

We say that language S separates languages K and L if S includes K, but has an empty intersection with L. Separability problem asks for two given languages from some family F1 whether there exists a language from a smaller family F2, which separates them.
I will sketch ideas behind some results concerning separability problem.