Relative constructivity

DOI10.2307/2586648MaRDI QIDQ4254679zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3861143
• Constructibility
• scientific article; zbMATH DE number 218598
• Relative plus constructions
• scientific article; zbMATH DE number 1746890
• Constructions around partialities
• scientific article; zbMATH DE number 4145898
• scientific article; zbMATH DE number 2147476
• Constructive complexity
• scientific article; zbMATH DE number 2233169

Cites work

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

Cited in

(16)

• Fluctuations, effective learnability and metastability in analysis
• Strongly uniform bounds from semi-constructive proofs
• A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
• On computational properties of Cauchy problems generated by accretive operators
• Realizability interpretation of proofs in constructive analysis
• scientific article; zbMATH DE number 218598 (Why is no real title available?)
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• On uniform weak König's lemma
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• A Constructive Analysis of a Proof that the Numerical Range is Convex
• scientific article; zbMATH DE number 1222925 (Why is no real title available?)
• Non-bounding constructions
• Effective results on a fixed point algorithm for families of nonlinear mappings
• Bounded functional interpretation
• Proof interpretations with truth

This page was built for publication: Relative constructivity

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