Robert Paßmann

MaRDI QIDQ2046359zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC Journal of Symbolic Logic	2024-04-05	Paper
Should pluralists be pluralists about pluralism? Synthese	2024-01-19	Paper
Realisability for infinitary intuitionistic set theory Annals of Pure and Applied Logic	2023-04-27	Paper
scientific article; zbMATH DE number 7650846 (Why is no real title available?) (available as arXiv preprint)	2023-02-07	Paper
Converse extensionality and apartness Logical Methods in Computer Science	2023-01-09	Paper
Logics and Admissible Rules of Constructive Set Theories	2022-12-06	Paper
Randomising realizability (available as arXiv preprint)	2022-03-22	Paper
Logics of intuitionistic Kripke-Platek set theory Annals of Pure and Applied Logic	2021-09-30	Paper
Constructing illoyal algebra-valued models of set theory Algebra Universalis	2021-08-17	Paper
Randomising Realisability (available as arXiv preprint)	2021-01-29	Paper
Realisability for Infinitary Intuitionistic Set Theory (available as arXiv preprint)	2020-09-25	Paper
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory (available as arXiv preprint)	2019-05-13	Paper

Research outcomes over time

This page was built for person: Robert Paßmann