De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory

Open Access
Authors
Publication date 01-2020
Host editors
  • M. Fernández
  • A. Muscholl
Book title 28th EACSL Annual Conference on Computer Science Logic
Book subtitle CSL 2020, January 13-16, 2020, Barcelona, Spain
ISBN (electronic)
  • 9783959771320
Series Leibniz International Proceedings in Informatics
Event 28th EACSL Annual Conference on Computer Science Logic
Article number 33
Number of pages 16
Publisher Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract 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.
Document type Conference contribution
Language English
Published at https://doi.org/10.4230/LIPIcs.CSL.2020.33
Published at https://arxiv.org/abs/1905.04972
Other links https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16134
Downloads
LIPIcs-CSL-2020-33 (Final published version)
Permalink to this page
Back