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.

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: Nathanael Leedom Ackerman
• Keywords: APAL 2010, Grothendieck Topoi, Paper, Relativization