PP-2019-05: The de Jongh property for bounded constructive Zermelo-Fraenkel set theory

PP-2019-05: Passmann, Robert (2019) The de Jongh property for bounded constructive Zermelo-Fraenkel set theory. [Pre-print] (Submitted)

[thumbnail of djp-illcpp.pdf]
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 View Item