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

Publications and Preprints

• "The Borel monadic theory of order is decidable", arXiv
• "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