- 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
Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
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.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.Justus Diller - 1974 - Archive for Mathematical Logic 16 (1-2):49-66.
Die Funktionale Vollständigkeit von Funktionenklassen über Einer Familie Endlicher Mengen.Reinhard Pöschel - 1974 - Mathematical Logic Quarterly 20 (34-36):537-550.
Interpretationen der Heyting-Arithmetik endlicher Typen.Martin Stein - 1978 - Archive for Mathematical Logic 19 (1):175-189.
Stimulus-Response Theorie endlicher Automaten.P. Suppes - 1983 - In Michael Heidelberger & Wolfgang Balzer (eds.), Zur Logik Empirischer Theorien. De Gruyter. pp. 245-280.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Funktionale Sprachvarianten: metalinguistische Untersuchungen zu einer allgemeinen Theorie.Leopold Auburger - 1981 - Wiesbaden: Steiner.
Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):249-254.
1. Entstehung und Typen politischer Normen.Marcus Llanque - 2007 - In Marcus Llanque & Herfried Münkler (eds.), Politische Theorie Und Ideengeschichte: Lehr- Und Textbuch. Akademie Verlag. pp. 341-372.
Das Existenzprädikat und der Universalienstreit.Horst Wessel - 1983 - der 16. Weltkongress Für Philosophie 2:1386-1393.
Ambiguität in der Kunst: Typen und Funktionen eines ästhetischen Paradigmas.Verena Krieger, Rachel Mader & Katharina Jesberger (eds.) - 2010 - Köln: Böhlau.
Le développement simultané de la pensée et du langage chez l'enfant.F. Soignon - 1926 - Revue de Philosophie 33:57.
Analytics
Added to PP
2020-12-03
Downloads
2 (#1,432,310)
6 months
1 (#479,283)
2020-12-03
Downloads
2 (#1,432,310)
6 months
1 (#479,283)
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-5b5888c749-7q792 N