Sheaves and logic
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 302-401
- https://doi.org/10.1007/bfb0061824
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- On Generic Stalks of SheavesJournal of the London Mathematical Society, 1977
- Rings, fields, and spectraJournal of Algebra, 1977
- Integral domain type representations in sheaves and other topoiMathematische Zeitschrift, 1976
- A note on Kripke-Joyal semantics for the internal language of topoiPublished by Springer Nature ,1975
- Logical and set theoretical tools in elementary topoiPublished by Springer Nature ,1975
- Some topos theoretic concepts of finitenessPublished by Springer Nature ,1975
- Lectures on elementary topoiLecture Notes in Mathematics, 1975
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970Published by Springer Nature ,1971
- Modules over commutative regular ringsMemoirs of the American Mathematical Society, 1967