|
|||||
|
|
Relativized Grothendieck topoi |
|
| Authors: | Nathanael Leedom Ackerman |
| Affiliation: | University of California at Berkeley, Berkeley, CA, United States |
| 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: | 03C55 18B25 18F10 18F20 |
| 本文献已被 ScienceDirect 等数据库收录！ | |