On the Borel Complexity of MSO Definable Sets of Branches

Mikolaj Bojanczyk, Damian Niwinski, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michal Skrzypczak. On the Borel Complexity of MSO Definable Sets of Branches. Fundamenta Informaticae, 98(4):337-349, 2010. [doi]

Abstract

Abstract is missing.