On the Freyd cover of a topos

Notre Dame Journal of Formal Logic 24 (4):517-526 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870454

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Ancient Persian Empire: Through Arsitotle Notions of Topos and Logos.Mostafa Younesie - manuscript
Algebraic Set Theory and the Effective Topos.Claire Kouwenhoven-Gentil & Jaap van Oosten - 2005 - Journal of Symbolic Logic 70 (3):879 - 890.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
The prices of resisting silence: Comments on calof, cheit, Freyd, Hoult, and Salter.Laura S. Brown - 1998 - Ethics and Behavior 8 (2):189 – 193.
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
The principle of general tovariance.Chris Heunen, Klaas Landsman & Bas Spitters - unknown
From cover to cover? A critique of Wolterstorff's theory of the bible as divine discourse.Maarten Wisse - 2002 - International Journal for Philosophy of Religion 52 (3):159-173.
Book reviews. [REVIEW]Pamela J. Birrell, Jennifer Freyd, David J. Pittenger, Jeffrey D. Gottlieb & Jennifer Elizabeth Dyck - 2004 - Ethics and Behavior 14 (1):89 – 101.
Can there be one-way causal conditionship?David H. Sanford - 1988 - Synthese 76 (3):397 - 408.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.Jaap van Oosten - 1991 - Journal of Symbolic Logic 56 (3):964 - 973.
A topos perspective on the kochen-Specker theorem: III. Von Neumann algebras as the base category.John Hamilton, Chris Isham & Jeremy Butterfield - unknown

Analytics

Added to PP
2010-08-24

Downloads
17 (#843,162)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Connectification forn-contraction.Andreja Prijatelj - 1995 - Studia Logica 54 (2):149 - 171.

Add more citations

References found in this work

No references found.

Add more references