Characterising Brouwer's continuity by bar recursion on moduli of continuity

DOI10.1007/s00153-020-00740-9zbMath1496.03254OpenAlexW3042290568MaRDI QIDQ2219099

Makoto Fujiwara, Tatsuji Kawai

Publication date: 19 January 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-020-00740-9

zbMATH Keywords

continuity principleconstructive reverse mathematicsbar inductionbar recursionfan theoremintuitionistic mathematicsBrouwer operation

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Continuity of Gödel's system T definable functionals via effectful forcing
• Sequences of real functions on [0,1 in constructive reverse mathematics]
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
• A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM
• Principles of bar induction and continuity on Baire space
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Formal systems for some branches of intuitionistic analysis
• New Computational Paradigms
• Logical Approaches to Computational Barriers