Kurt Godel. Uber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes. Dialectica, 12:280--287, 1958. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
On Characterizations of the Basic Feasible Functionals Part II - Irwin, Kapron, Royer (2002) (1 citation) (Correct)
An Arithmetic for Non-Size-Increasing.. - Aehlig, Berger.. (Correct)
Analyzing Proofs in Analysis - Kohlenbach (Correct)
Elimination of Skolem functions for monotone formulas in analysis - Kohlenbach (Correct)
Proof Theory and Computational Analysis - Kohlenbach (1997) (1 citation) (Correct)
On the Arithmetical Content of Restricted Forms of.. - Kohlenbach (1997) (Correct)
Arithmetizing Proofs in Analysis - Kohlenbach (1 citation) (Correct)
Proof Mining in L_1-approximation (Extended Abstract) - Kohlenbach, Oliva (Correct)
Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (1 citation) (Correct)
On Characterizations of the Basic Feasible Functionals, Part II - Irwin, Kapron, Royer (2001) (1 citation) (Correct)
An Arithmetic for Non-Size-Increasing.. - Aehlig, Berger.. (Correct)
On the Arithmetical Content of Restricted Forms of.. - Kohlenbach (1998) (Correct)
On Characterizations of the Basic Feasible Functionals, Part I - Irwin, Kapron, Royer (2001) (1 citation) (Correct)
Effective bounds on strong unicity in L_1-approximation - Kohlenbach, Oliva (2001) (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Feasible Functionals And Intersection Of Ramified Types - Leivant (2003) (Correct)
Proof Mining in Subsystems of Analysis - Oliva (2003) (Correct)
"Clarifying the Nature of the Infinite": the development of.. - Avigad, Reck (2001) (Correct)
New Effective Moduli of Uniqueness and Uniform a-Priori.. - Kohlenbach (1993) (Correct)
Proof mining in L 1 -approximation - Ulrich Kohlenbach Paulo (Correct)
Analyzing Proofs in Analysis - Kohlenbach (Correct)
Continuous Normalization for the Lambda-Calculus and Gödel's T - Aehlig, Joachimski Self-citation (Godel) (Correct)
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (2002) Self-citation (Odel) (Correct)
Continuous Normalization for the Lambda-Calculus and Gödel's T - Aehlig, Joachimski Self-citation (Odel) (Correct)
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (1999) Self-citation (Odel) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC