- 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
The „Dialectica”︁ Interpretation and Categories
Mathematical Logic Quarterly 24 (31-36):553-575 (1978)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31‐36):553-575.
Shoenfield is Gödel after Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.
The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
N‐Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Mathematical Logic Quarterly 33 (6):507-516.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.Justus Diller - 1974 - Archive for Mathematical Logic 16 (1-2):49-66.
Dialectica interpretation of well-founded induction.Helmut Schwichtenberg - 2008 - Mathematical Logic Quarterly 54 (3):229-239.
On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (6):541-560.
Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Mathematical Logic Quarterly 38 (1):349-359.
Analytics
Added to PP
2016-02-04
Downloads
39 (#115,291)
6 months
4 (#1,635,958)
2016-02-04
Downloads
39 (#115,291)
6 months
4 (#1,635,958)
Historical graph of downloads
Citations of this work
Categorical semantics for higher order polymorphic lambda calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.
References found in this work
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.
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-6686886f5-2nz2h uwo