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

Robert Passmann, The de Jongh Property for a Subtheory of CZF, in preparation.

Benedikt Löwe, Robert Passmann, Sourav Tarafder, Constructing illoyal algebra-valued models of set theory, submitted for publication (preprint).

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

Logical aspects of algebra-valued models of set theory, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam, 19 December 2018 (seminar/abstract).

Constructing illoyal algebra-valued models of set theory, SYSMICS 2019, Amsterdam, 21-25 January 2019, (conference).

Past Talks

The de Jongh Property for a Subtheory of CZF, Oberseminar mathematische Logik, University of Bonn, 6 November 2018 (seminar/abstract).

The Propositional Logic of Models of Set Theory, Colloquium Logicum 2018, 15 September 2018 (slides, conference).

Heyting structures: Loyalty, faithfulness and an application to the de Jongh property,
Forschungsseminar Mathematische Logik, University of Hamburg, Germany, 7 May 2018 (abstract, seminar).

Constructing models of constructive or intuitionistic set theory from classical models
of set theory, Categories Seminar, University of Cambridge, United Kingdom, 13 February 2018 (abstract).

Surreal Numbers, Set Theory Seminar, University of Cambridge, United Kingdom, 31 January 2017 (abstract).

One Axiom to Rule Them All, Cool Logic Seminar, ILLC, University of Amsterdam, The Netherlands, 4 November 2016 (abstract).

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