On the interpretation of non-finitist proofs–Part II

Cited In (68)

Title not available (Why is that?)
Functorial Fast-Growing Hierarchies
Mining the surface: witnessing the low complexity theorems of arithmetic
Nonexpansive maps in nonlinear smooth spaces
Title not available (Why is that?)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
A computational study of a class of recursive inequalities
Witnessing flows in arithmetic
A proof‐theoretic metatheorem for tracial von Neumann algebras
Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
Realizability algebras III: some examples
On quantitative versions of theorems due to F. E. Browder and R. Wittmann
Effective metastability of Halpern iterates in \(CAT(0)\) spaces
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
Well Quasi-orders and the Functional Interpretation
On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
A method of epsilon substitution for the predicate logic with equality
Nested recursion
The epsilon calculus and Herbrand complexity
A universal algorithm for Krull's theorem
Classical realizability and arithmetical formulæ
On the asymptotic behavior of odd operators
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory
A complexity analysis of functional interpretations
Nonlinearity of Davenport-Schinzel sequences and of generalized path compression schemes
Slow reflection
Fifty years of the spectrum problem: survey and new results
On the No-Counterexample Interpretation
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs
Hierarchies of number-theoretic functions. I
On Herbrand's theorem
A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies
Finite notations for infinite terms
Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
Epsilon substitution method for elementary analysis
Classifying the Provably Total Functions of PA
Strong termination for the epsilon substitution method
Informal versus formal mathematics
On the computational content of convergence proofs via Banach limits
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
On extracting variable Herbrand disjunctions
A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM
The computational content of arithmetical proofs
Subsystems of true arithmetic and hierarchies of functions
A classification of the ordinal recursive functions
Proof-theoretical analysis: Weak systems of functions and classes
The mathematical significance of proof theory
Herbrand analyses
Effective results on nonlinear ergodic averages in CAT spaces
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
Verificationism and Classical Realizability
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces
The Gödelian Inferences
A constructive interpretation of Ramsey's theorem via the product of selection functions
Alternating (in)dependence-friendly logic
A note on inverses of elementary permutations
Computability and Analysis, a Historical Approach
On modified Halpern and Tikhonov-Mann iterations
Proof mining and effective bounds in differential polynomial rings
Effective metastability for modified Halpern iterations in CAT(0) spaces
A new application for explanation-based generalisation within automated deduction
Fast growing functions based on Ramsey theorems
Dependent choice, `quote' and the clock
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie
The finitary content of sunny nonexpansive retractions
Proof lengths for instances of the Paris-Harrington principle

This page was built for publication: On the interpretation of non-finitist proofs–Part II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5809142)