Research

Below you can find a list of my published works. For a list of my recent talks, click here.

Publications

1. Robert Passmann. The first-order logic of CZF is intuitionistic first-order logic. The Journal of Symbolic Logic, 89(1):308-330, 2024 (open access).
2. Rosalie Iemhoff, Robert Passmann. Logics and Admissible Rules of Constructive Set Theories. Philosophical Transactions of the Royal Society A, 381: 20220018, 2023 (open access).
3. Merlin Carl, Lorenzo Galeotti, Robert Passmann. Realisability for Infinitary Intuitionistic Set Theory. Annals of Pure and Applied Logic. Volume 174, Issue 6, 2023 (open access).
4. Benno van den Berg, Robert Passmann. Converse extensionality and apartness. Logical Methods in Computer Science, Volume 18, Issue 4, 2022 (open access, arxiv).
5. Robert Passmann. Should pluralists be pluralists about pluralism?. Synthese 199, 12663–12682, 2021 (open access).
6. Merlin Carl, Lorenzo Galeotti, Robert Passmann. Randomising Realizability. In: De Mol L., Weiermann A., Manea F., Fernández-Duque D. (eds) Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813. Springer, Cham. 2021 (proceedings, arxiv).
7. Rosalie Iemhoff, Robert Passmann. Logics of intuitionistic Kripke-Platek set theory. Annals of Pure and Applied Logic. Volume 172, Issue 10, 2021 (open access).
8. Benedikt Löwe, Robert Paßmann, and Sourav Tarafder. Constructing illoyal algebra-valued models of set theory. Algebra Universalis. 82, 46. 2021 (open access).
9. Robert Passmann. De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), edited by Maribel Fernández and Anca Muscholl, 152:33:1–33:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020 (proceedings).
10. with Martin Potthast et al. (2016) Who Wrote the Web? Revisiting Influential Author Identification Research Applicable to Information Retrieval. In: Ferro N. et al. (eds) Advances in Information Retrieval. ECIR 2016. Lecture Notes in Computer Science, vol 9626. Springer, Cham (proceedings).

Theses

• Robert Passmann. Logical Structure of Constructive Set Theories. PhD thesis. University of Amsterdam. (UvA library).
• Robert Passmann. Loyalty and Faithfulness of Model Constructions for Constructive Set Theory. MSc Logic Thesis under the supervision of Professor Benedikt Löwe. 2018. (abstract, pdf). Note that this online version contains a mistake in the proof of Theorem 5.8 but the theorem still holds (see corrigendum).