- (1 other version)Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.details
|
|
Essai philosophique sur les probabilités.Pierre-Simon Laplace & Maurice Solovine - 1814 - Revue de Métaphysique et de Morale 30 (1):1-2.details
|
|
(1 other version)On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.details
|
|
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.details
|
|
(2 other versions)Computable Structures and the Hyperarithmetical Hierarchy.Valentina Harizanov - 2001 - Bulletin of Symbolic Logic 7 (3):383-385.details
|
|
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.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.details
|
|
On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.details
|
|
Computable structures and the hyperarithmetical hierarchy.C. J. Ash - 2000 - New York: Elsevier. Edited by J. Knight.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscriptdetails
|
|
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknowndetails
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
Fundamental notions of analysis in subsystems of second-order arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.details
|
|
C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102. [REVIEW]C. Spector - 1969 - Journal of Symbolic Logic 34 (2):295-296.details
|
|