TY  - RPRT
TI  - The MSO+U theory of (N, <) is undecidable
AU  - Mikołaj Bojańczyk
AU  - Paweł Parys
AU  - Szymon Toruńczyk
PY  - 2015
UR  - https://arxiv.org/abs/1502.04578
ID  - 1502.04578
ER  -