Title of article
Relativized Grothendieck topoi
Author/Authors
Ackerman، نويسنده , , Nathanael Leedom، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
14
From page
1299
To page
1312
Abstract
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.
Keywords
Relativize , Sheaves , Site , Grothendieck topos
Journal title
Annals of Pure and Applied Logic
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444480
Link To Document