Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen

Archive for Mathematical Logic 16 (1-2):49-66 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02025118

Links

PhilArchive



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

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

Interpretationen der Heyting-Arithmetik endlicher Typen.Martin Stein - 1978 - Archive for Mathematical Logic 19 (1):175-189.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
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.
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.
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.
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
Die Grundlagen Der Arithmetik: Eine Logisch-Mathematische Untersuchung Über Den Begriff Der Zahl.Friedrich Ludwig Gottlob Frege - 1884 - W. Koebner.
Das Existenzprädikat und der Universalienstreit.Horst Wessel - 1983 - der 16. Weltkongress Für Philosophie 2:1386-1393.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
An Analysis of Gödel's dialectica Interpretation via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269-290.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Eine Einfache Universelle Menge Endlicher Automaten.Thomas Ottmann - 1978 - Mathematical Logic Quarterly 24 (1‐6):55-61.

Analytics

Added to PP
2020-12-03

Downloads
12 (#1,025,624)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
Fragments of Heyting arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.
Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references