Undecidability of a weak version of MSO+U

Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith. Undecidability of a weak version of MSO+U. Logical Methods in Computer Science, 16(1), 2020. [doi]

Abstract

Abstract is missing.