I’m a PhD candidate at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (Research Unit: Mathematical & Computational Logic). My supervisors are Professor Benedikt Löwe and Professor Rosalie Iemhoff. My PhD research was partially funded by a doctoral scholarship of the Studienstiftung des deutschen Volkes.