2026-07-23T06:32:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11676 2024-03-06T10:48:45Z ddc:004 open_access

De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory Passmann, Robert Intuitionistic Logic Intuitionistic Set Theory Constructive Set Theory We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class of finite trees. The same results follow for constructive set theory CZF. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Robert Passmann 2020 Is Part Of LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2020.33 urn:nbn:de:0030-drops-116767 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.33 eng https://creativecommons.org/licenses/by/3.0/legalcode