|
112
|
eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12
– K Godel, Uber
- 1958
|
|
52
|
Gödel's Functional ("Dialectica") Interpretation
– Jeremy Avigad, Solomon Feferman
- 1998
|
|
36
|
Hereditarily majorizable functionals of finite type
– W A Howard
- 1973
|
|
36
|
Analyzing Proofs in Analysis
– Ulrich Kohlenbach
- 1993
|
|
26
|
Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals
– Ulrich Kohlenbach
- 1995
|
|
26
|
Strongly majorizable functionals of finite type: a model of bar recursion containing discontinuous functionals
– M Bezem
- 1985
|
|
22
|
Some Logical Metatheorems with Applications in Functional Analysis
– Ulrich Kohlenbach
- 2003
|
|
10
|
Bounded functional interpretation
– Fernando Ferreira, Paulo Oliva
- 2005
|
|
65
|
Interpretation of analysis by means of constructive functionals of finite type
– Georg Kreisel
- 1959
|
|
12
|
Relative Constructivity
– Ulrich Kohlenbach
- 1996
|
|
13
|
A quantitative version of a theorem due to Borwein-Reich-Shafrir
– Ulrich Kohlenbach
- 2000
|
|
12
|
Pointwise Hereditary Majorization and Some Applications
– Ulrich Kohlenbach, H, H
- 1992
|
|
22
|
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
– Ulrich Kohlenbach, Where U
- 1993
|
|
22
|
Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis
– H Luckhardt
|
|
3
|
An arithmetical hierarchy of the law of excluded middle and related principles
– Y Akama, S Berardi, S Hayashi, U Kohlenbach
- 2004
|
|
51
|
Program extraction from classical proofs
– Ulrich Berger, Wilfried Buchholz
- 1994
|
|
6
|
On the Uniform Weak König's Lemma
– Ulrich Kohlenbach
- 1999
|
|
13
|
Uniform asymptotic regularity for Mann iterates
– Ulrich Kohlenbach
- 2002
|
|
5
|
Troelstra (ed.). Metamathematical investigations of intuitionistic arithmetic and analysis
– A S
- 1973
|
