A proof of the associated sheaf theorem by means of categorical logic

Journal of Symbolic Logic 46 (1):45-55 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273255

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 , pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 , p. 366. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681.
A proof of zermelo's theorem.Vladimir Dévidé - 1967 - Journal of Symbolic Logic 32 (3):366.
Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681-681.
A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
A New Proof of a Theorem of Dienes.Nicholas Rescher & Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):276.
A proof theoretic proof of Scott's general interpolation theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
On ℵ0-categorical nilrings. II.Gregory Cherlin - 1980 - Journal of Symbolic Logic 45 (2):291 - 301.
A Formal Proof of Godel's Theorem.Leon Chwistek - 1940 - Journal of Symbolic Logic 5 (1):28-30.
A formal proof of gödel's theorem.Leon Chwistek - 1939 - Journal of Symbolic Logic 4 (2):61-68.

Analytics

Added to PP
2009-01-28

Downloads
14 (#1,020,370)

6 months
39 (#100,216)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references