MSO+ is undecidable

DOI10.5555/3470152.3470213MaRDI QIDQ6654526zbMATH OpenFDO

Authors Mikołaj Bojańczyk, Edon Kelmendi, Michał Skrzypczak

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470213

Mathematics Subject Classification ID

Higher-order logic (03B16) Automata and formal grammars in connection with logical questions (03D05) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Measure quantifier in monadic second order logic
• Baire category quantifier in monadic second order logic
• Thin MSO with a probabilistic path quantifier
• On the decidability of MSO+U on infinite trees
• An Extension of Muchnik's Theorem

This page was built for publication: MSO+\( \nabla \) is undecidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654526)