Pages that link to "Item:Q5806808"

The following pages link to On the Interpretation of Non-Finitist Proofs--Part I (Q5806808):

Displaying 50 items.

• 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)
• Norm convergence of multiple ergodic averages on amenable groups (Q518565) (← 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)
• Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
• Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
• Informal versus formal mathematics (Q885512) (← links)
• The metamathematics of ergodic theory (Q1006602) (← links)
• Gentzen reduction revisited (Q1140640) (← links)
• What can be done with PRA? (Q1147134) (← links)
• Consequences of an exotic definition for \(\text{P}=\text{NP}\). (Q1412482) (← links)
• Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
• A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
• Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
• Dependent choice, `quote' and the clock (Q1884884) (← links)
• Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← 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)
• On the metamathematics of the P vs. NP question (Q2383632) (← links)
• Ackermann's substitution method (remixed) (Q2503393) (← links)
• Herbrand analyses (Q2641297) (← links)
• Some concepts concerning formal systems of number theory (Q2650392) (← 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)
• Strong termination for the epsilon substitution method (Q3128468) (← links)
• Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441) (← links)
• Arithmetical Predicates and Function Quantifiers (Q3226750) (← links)
• Hierarchies of number-theoretic predicates (Q3226751) (← links)
• The Ω-consistency of ramified analysis (Q3292576) (← 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)
• Local stability of ergodic averages (Q3402200) (← links)
• Effectiveness and provability (Q4318898) (← links)
• A new deconstructive logic: linear logic (Q4372906) (← links)
• Realizability algebras III: some examples (Q4599612) (← links)
• Platonism and Mathematical Intuition in Kurt Gödel's Thought (Q4837674) (← links)
• On the No-Counterexample Interpretation (Q4948521) (← links)
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
• The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
• (Q5155683) (← links)
• The mathematical significance of proof theory (Q5301856) (← links)