Sven Manthe

I am a postdoc with Ralf Schindler at Münster.
My current research topic are monadic second-order order theories of uncountable structures.

E-mail: sven.manthe@uni-muenster.de
Office: SRZ 322

Publications and Preprints

• "The Borel monadic theory of order is decidable", arXiv
• "Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches", Logic in Computer Science 2026
• "A Cobham theorem for scalar multiplication", with Philipp Hieronymi and Chris Schulz, arXiv
• "A formalization of Borel determinacy in Lean", arXiv, Annals of Formalized Mathematics, Volume 2 (2026), pp. 38-54
• Appendix of "Generation of local unitary groups", with Simon Brandhorst and Tommy Hofmann, arXiv, Journal of Algebra, Volume 609 (2022), pp. 484-513
• "Decidability in Borel Monadic Logic", PhD thesis, PDF