The de Jongh property for bounded constructive Zermelo-Fraenkel set theory
Robert Passmann

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.