Review: Peter J. Freyd, Andre Scedrov, Categories, Allegories [Book Review]

Journal of Symbolic Logic 58 (1):352-354 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

[Omnibus Review].Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
What do Freyd’s Toposes Classify?Peter Johnstone - 2013 - Logica Universalis 7 (3):335-340.
Some properties of epistemic set theory with collection.Andre Scedrov - 1986 - Journal of Symbolic Logic 51 (3):748-754.
Small decidable sheaves.Andreas Blass & Andre Scedrov - 1986 - Journal of Symbolic Logic 51 (3):726-731.
Intuitionistically provable recursive well-orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
Linearizing intuitionistic implication.Patrick Lincoln, Andre Scedrov & Natarajan Shankar - 1993 - Annals of Pure and Applied Logic 60 (2):151-177.
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,628,810)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references