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 write a proposal for a PhD project. My interests lie in 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

Upcoming

Past Talks

Events

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).