PP-2019-05: Passmann, Robert (2019) The de Jongh property for bounded constructive Zermelo-Fraenkel set theory. [Pre-print] (Submitted)
Preview |
Text
djp-illcpp.pdf Download (104kB) | Preview |
Abstract
The theory BCZF is obtained from constructive Zermelo-Fraenkel set theory CZF by restricting the collection schemes to bounded formulas. We prove that BCZF has the de Jongh property with respect to every intermediate logic that is characterised by a class of Kripke frames.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2019-05 |
Series Name: | Prepublication (PP) Series |
Year: | 2019 |
Subjects: | Logic Mathematics |
Depositing User: | Robert Passmann |
Date Deposited: | 27 Jan 2019 12:15 |
Last Modified: | 27 Jan 2019 12:15 |
URI: | https://eprints.illc.uva.nl/id/eprint/1662 |
Actions (login required)
View Item |