- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A small complete category
Annals of Pure and Applied Logic 40 (2):135-165 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Sheaves over Heyting lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Is category specificity in the world or in the mind?H. Clark Barrett - 2001 - Behavioral and Brain Sciences 24 (3):478-479.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.
An analogue of the Baire category theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
Defining 'ontological category'.Jan Westerhoff - 2002 - Proceedings of the Aristotelian Society 102 (3):287–293.
The Cichoń diagram.Tomek Bartoszyński, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (2):401 - 423.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
Analytics
Added to PP
2014-01-16
Downloads
12 (#1,054,764)
6 months
3 (#1,023,809)
2014-01-16
Downloads
12 (#1,054,764)
6 months
3 (#1,023,809)
Historical graph of downloads
Citations of this work
Axiomatizing higher-order Kleene realizability.Jaap van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):87-111.
A game semantics for generic polymorphism.Samson Abramsky & Radha Jagadeesan - 2005 - Annals of Pure and Applied Logic 133 (1-3):3-37.
The sequentially realizable functionals.John Longley - 2002 - Annals of Pure and Applied Logic 117 (1-3):1-93.
Two remarks on the Lifschitz realizability topos.Jaap van Oosten - 1996 - Journal of Symbolic Logic 61 (1):70-79.
References found in this work
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 101--128.
Fibered categories and the foundations of naive category theory.Jean Bénabou - 1985 - Journal of Symbolic Logic 50 (1):10-37.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo