Faculty of Language

Part 2 and a half showed us the consequences of the MSO-Merge correspondence, both good and bad. In an ideal world, there should be a way t...

Yesterday we learned that a constraint can be expressed by Merge iff it can be defined in monadic second-order logic. But is this a good thi...