scientific article; zbMATH DE number 1222925
From MaRDI portal
Publication:4218526
zbMath0919.03046MaRDI QIDQ4218526
Publication date: 31 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
non-constructive principlesarithmetical comprehension axiomconstructive \(\varepsilon\)-weakenings of classical principlesextraction of numerical bounds from proofs in classical analysis
Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Light monotone Dialectica methods for proof mining ⋮ Some logical metatheorems with applications in functional analysis ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ The finitary content of sunny nonexpansive retractions ⋮ Things that can and things that cannot be done in PRA ⋮ A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR ⋮ Some computational aspects of metric fixed-point theory ⋮ On the computational content of the Bolzano-Weierstraß Principle ⋮ General logical metatheorems for functional analysis ⋮ Realizability interpretation of proofs in constructive analysis ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness