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 [Book Review]

Journal of Symbolic Logic 52 (2):561-561 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,442

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A General Theorem on Existence Theorems.Martin Stein - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452.
A General Theorem on Existence Theorems.Martin Stein - 1981 - Mathematical Logic Quarterly 27 (25‐30):435-452.
Logical problems of functional interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
Some theorems on the axioms of choice for finite sets.Martin M. Zuckerman - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (25):385-399.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
Quick cut-elimination for strictly positive cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.

Analytics

Added to PP
2016-06-30

Downloads
9 (#938,252)

6 months
1 (#454,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references