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

First Page		Document Content
Date: 2011-11-16 08:30:32		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 Source URL: staff.fnwi.uva.nl Download Document from Source Website File Size: 280,71 KB Share Document on Facebook