Derived rules for predicative set theory: an application of sheaves Benno van den Berg - Moerdijk - Document - PDFSEARCH.IO

First Page	Meta Content
	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Document Date: 2011-11-16 08:30:32 Open Document File Size: 280,71 KB Share Result on Facebook

Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructiveAdd to Reading List