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