Predicative topos theory and models for constructive set theory

B. van den Berg

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	Moerdijk, I., Primary supervisor
Award date	22 May 2006
Place of Publication	Utrecht
Print ISBNs	90-393-4259-8
Publication status	Published - 22 May 2006

Keywords

@phdthesis{3c4547fb89284c0eb45bfc4107d04672,

title = "Predicative topos theory and models for constructive set theory",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "{van den Berg}, B.",

year = "2006",

month = may,

day = "22",

language = "Undefined/Unknown",

isbn = "90-393-4259-8",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Utrecht University",

}