Sheaf models for set theory
- 31 December 1980
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 19, 91-101
- https://doi.org/10.1016/0022-4049(80)90096-1
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- TOPOS THEORYBulletin of the London Mathematical Society, 1978
- ELEMENTS OF INTUITIONISMPhilosophical Books, 1978
- The Logic of TopoiPublished by Elsevier ,1977
- First Order Categorical LogicLecture Notes in Mathematics, 1977
- Boolean topoi and the theory of setsJournal of Pure and Applied Algebra, 1972