Relative constructivity

DOI10.2307/2586648zbMath0928.03065OpenAlexW4248790316MaRDI QIDQ4254679

Ulrich Kohlenbach

Publication date: 12 January 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586648

zbMATH Keywords

Brouwer's fixed point theoremintuitionistic higher-order arithmeticcomprehension schema for negated formulasmaximum of a continuous functionmonotone versions of modified realizabilitypartially constructive proofs

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (9)

Effective results on a fixed point algorithm for families of nonlinear mappings ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Positive Arithmetic Without Exchange Is a Subclassical Logic ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Bounded functional interpretation ⋮ Strongly uniform bounds from semi-constructive proofs ⋮ On uniform weak König's lemma ⋮ Proof interpretations with truth

Cites Work

• Pointwise hereditary majorization and some applications
• Constructivism in mathematics. An introduction. Volume II
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics

This page was built for publication: Relative constructivity