Sven Manthe

This site is no longer updated since March 2026.
I am a PhD student of Philipp Hieronymi in Mathematical Logic at Bonn. I will soon start 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-bonn.de
Office: Room N1.015

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

Curriculum Vitae