PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf mod - Leeds - Document - PDFSEARCH.IO

First Page	Meta Content
	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf mod Add to Reading List Document Date: 2013-05-09 12:24:31 Open Document File Size: 203,02 KB Share Result on Facebook

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf modAdd to Reading List