- 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
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
Archive for Mathematical Logic 14 (1-2):69-74 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
Interpretationen der Heyting-Arithmetik endlicher Typen.Martin Stein - 1978 - Archive for Mathematical Logic 19 (1):175-189.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.Justus Diller - 1974 - Archive for Mathematical Logic 16 (1-2):49-66.
Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis.Wolfgang Friedrich - 1984 - Archive for Mathematical Logic 24 (1):73-99.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.
Die Funktionale Vollständigkeit von Funktionenklassen über Einer Familie Endlicher Mengen.Reinhard Pöschel - 1974 - Mathematical Logic Quarterly 20 (34-36):537-550.
Review: Kurt Schutte, Schlussweisen-Kalkule der Pradikatenlogik. [REVIEW]Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
Analytics
Added to PP
2020-12-03
Downloads
9 (#1,270,032)
6 months
6 (#700,872)
2020-12-03
Downloads
9 (#1,270,032)
6 months
6 (#700,872)
Historical graph of downloads
Citations of this work
Logical problems of functional interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
Functional interpretations of constructive set theory in all finite types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
Functional Interpretations of Constructive Set Theory in All Finite Types.Justus Diller - 2008 - Dialectica 62 (2):149-177.
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