On the nonexistence of FO-continuous path and tree-decompositions

Julien Grange

Bojanczyk and Pilipczuk showed in their celebrated article "Definability equals recognizability for graphs of bounded treewidth" (LICS 2016) that monadic second-order logic can def…