Robert Passmann

Logo
ORCID iD iconorcid.org/0000-0002-7170-3286

Mathematics, Logic, Foundations.

I’m a guest researcher in logic at the ILLC, University of Amsterdam, funded by an Exposé-Stipendium of the Studienstiftung des deutschen Volkes (German Academic Scholarship Foundation) to prepare for my PhD studies. My interests lie in mathematical logic, the foundations of mathematics and their philosophy.

Output

Publications

Thesis

I wrote my master’s thesis “Loyalty and Faithfulness of Model Constructions for Constructive Set Theory” under the supervision of Professor Benedikt Löwe (abstract, pdf). Note that this online version has a mistake in the proof of Theorem 5.8 but the theorem still holds (see corrigendum).

Talks

Organisation

I co-organised a conference on logic as a subject on the interface of mathematics and philosophy in Göttingen in 2017 (see LMP2017, in German), and the conference “Foundations in Mathematics: Modern Views” at the MCMP in Munich in 2018 (see FMV2018).

Service

I have been a reviewer for the Annals of Pure and Applied Logic and the Journal of Logic, Language and Information.