Pages that link to "Item:Q5809142"
From MaRDI portal
The following pages link to On the interpretation of non-finitist proofs–Part II (Q5809142):
Displaying 50 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- Effective metastability for modified Halpern iterations in CAT(0) spaces (Q385667) (← links)
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces (Q503233) (← links)
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- On the asymptotic behavior of odd operators (Q549798) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Informal versus formal mathematics (Q885512) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Nonlinearity of Davenport-Schinzel sequences and of generalized path compression schemes (Q1097884) (← links)
- Nested recursion (Q1131248) (← links)
- Fast growing functions based on Ramsey theorems (Q1191932) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Finite notations for infinite terms (Q1295405) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- Slow reflection (Q2407272) (← links)
- A note on inverses of elementary permutations (Q2550018) (← links)
- Herbrand analyses (Q2641297) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- On modified Halpern and Tikhonov-Mann iterations (Q2697004) (← links)
- On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
- Effective results on nonlinear ergodic averages in CAT spaces (Q2976309) (← links)
- Strong termination for the epsilon substitution method (Q3128468) (← links)
- Computability and Analysis, a Historical Approach (Q3188239) (← links)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- The Gödelian Inferences (Q3401359) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies (Q4305315) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- On the No-Counterexample Interpretation (Q4948521) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- (Q5101339) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
