Sciweavers

APAL
2010

Relativized Grothendieck topoi

14 years 20 days ago
Relativized Grothendieck topoi
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.
Nathanael Leedom Ackerman
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where APAL
Authors Nathanael Leedom Ackerman
Comments (0)