I am a PhD student in mathematical logic at the University of Bonn, supervised by Philipp Hieronymi.
- Email: reitmeir [at] math [dot] uni-bonn [dot] de
- Office: Endenicher Allee 60, Nebengebäude, N1.007
Preprints #
- Axiomatizations of Presburger Arithmetic With Predicates For Powers with Philipp Hieronymi and Xiaoduo Wang (arxiv:2602.19602)