C. Spector. Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics. In F. D. E. Dekker, editor, Recursive Function Theory: Proc. Symposia in Pure Mathematics, volume 5, pages 1--27. American Mathematical Society, Providence, Rhode Island, 1962. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Elimination of Skolem functions for monotone formulas in analysis - Kohlenbach (Correct)
On the Uniform Weak König's Lemma - Kohlenbach (1999) (Correct)
On the Arithmetical Content of Restricted Forms of.. - Kohlenbach (1997) (Correct)
On the No-Counterexample Interpretation - Kohlenbach (1997) (2 citations) (Correct)
Arithmetizing Proofs in Analysis - Kohlenbach (1 citation) (Correct)
Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (1 citation) (Correct)
On the Arithmetical Content of Restricted Forms of.. - Kohlenbach (1998) (Correct)
Modified Bar Recursion and Classical Dependent Choice - Berger, Oliva (1 citation) (Correct)
On uniform weak König's lemma - Kohlenbach (Correct)
A Note on Spector's Quantifier-Free Rule of Extensionality - Kohlenbach (1999) (Correct)
Correspondence between operational and denotational semantics: the.. - Ong (1995) (16 citations) (Correct)
Correspondence between Operational and Denotational Semantics - Ong (1995) (16 citations) (Correct)
Bar Recursive Encodings of Tree Ordinals - Bezem (Correct)
On the computational content of the Axiom of Choice - Berardi, Bezem, Coquand (1995) (8 citations) (Correct)
Proof Mining in Subsystems of Analysis - Oliva (2003) (Correct)
Proof Mining: A Systematic Way Of Analysing Proofs In - Mathematics Ulrich Kohlenbach (Correct)
Mathematical Investigations of Functional Interpretation of a.. - Of (Correct)
A Note on Spector's Quantifier-Free Rule of Extensionality - Kohlenbach (1999) Self-citation (Spector) (Correct)
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