Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols

Annals of Mathematical Logic 19 (1):1-31 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(80)90018-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 , pp. 323–329. - G. É. Minc. Ustojčivost' E-téorém i provérka programm . Sémiotika i informatika, vol. 12 , pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 , pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 , pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 , pp. 435–452. [REVIEW]Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
On the completenes principle: A study of provability in heyting's arithmetic and extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.
Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic.Mitsuhiro Okada - 2008 - Annals of the Japan Association for Philosophy of Science 16 (1-2):1-17.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Functional interpretations.Justus Diller - 2020 - New Jersey: World Scientific.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.
Extending models of arithmetic.James H. Schmerl - 1978 - Annals of Mathematical Logic 14 (2):89.
Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.

Analytics

Added to PP
2014-01-17

Downloads
29 (#781,382)

6 months
11 (#359,362)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical problems of functional interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
A General Theorem on Existence Theorems.Martin Stein - 1981 - Mathematical Logic Quarterly 27 (25‐30):435-452.
A General Theorem on Existence Theorems.Martin Stein - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452.

Add more citations

References found in this work

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.
Interpretationen der Heyting-Arithmetik endlicher Typen.Martin Stein - 1978 - Archive for Mathematical Logic 19 (1):175-189.

Add more references