Similar Items: Undecidability of a weak version of MSO+U
- Recursion Schemes, the MSO Logic, and the U quantifier
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- Expansions of MSO by cardinality relations
- Optimizing tree decompositions in MSO
- Undecidable First-Order Theories of Affine Geometries
- Distributed Asynchronous Games With Causal Memory are Undecidable