Robert Paßmann

From MaRDI portal
Person:2046359

Available identifiers

zbMath Open passmann.robertMaRDI QIDQ2046359

List of research outcomes





PublicationDate of PublicationType
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC2024-04-05Paper
Should pluralists be pluralists about pluralism?2024-01-19Paper
Realisability for infinitary intuitionistic set theory2023-04-27Paper
https://portal.mardi4nfdi.de/entity/Q58742202023-02-07Paper
Converse extensionality and apartness2023-01-09Paper
Logics and Admissible Rules of Constructive Set Theories2022-12-06Paper
Randomising realizability2022-03-22Paper
Logics of intuitionistic Kripke-Platek set theory2021-09-30Paper
Constructing illoyal algebra-valued models of set theory2021-08-17Paper
Randomising Realisability2021-01-29Paper
Realisability for Infinitary Intuitionistic Set Theory2020-09-25Paper
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory2019-05-13Paper

Research outcomes over time

This page was built for person: Robert Paßmann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2046359&oldid=6248800"
Powered by MediaWiki