Sven Manthe

I'm a PhD student of Philipp Hieronymi in Mathematical Logic at Bonn.
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"
• "A Cobham theorem for scalar multiplication", with Philipp Hieronymi and Chris Schulz
• "A formalization of Borel determinacy in Lean"
• Appendix of "Generation of local unitary groups", with Simon Brandhorst and Tommy Hofmann, J. Algebra Vol. 609 (2022), pp. 484-513

Curriculum Vitae