| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662038 | Annals of Pure and Applied Logic | 2010 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
