Logo Utrecht University

TULIPS – The Utrecht Logic in Progress Series

Upcoming Talks

2019

Title and Abstract: The De Jongh Property for Bounded Constructive Zermelo-Fraenkel Set Theory

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. For this proof, we will combine Kripke semantics for subtheories of CZF (due to Iemhoff) and the set-theoretic forcing technique.

The paper is available for download under https://eprints.illc.uva.nl/1662/1/djp-illcpp.pdf

Time: 16:00 – 17:30

Location: Room 302, Drift 25

Title and Abstract: Tba

Time: 16:00 – 17:30

Location: Room 302, Drift 25