A logical characterization of the continuous bar induction

DOI10.1007/978-981-15-2221-5_2MaRDI QIDQ6601762zbMATH OpenFDO

Authors Makoto Fujiwara, Tatsuji Kawai

Publication date 11 September 2024

Full work available at URL https://doi.org/10.1007/978-981-15-2221-5_2

zbMATH Keywords

bar inductionconstructive reverse mathematicsintuitionistic mathematicsLLPOneighborhood function

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Recommendations

• Principles of bar induction and continuity on Baire space
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
• Characterising Brouwer's continuity by bar recursion on moduli of continuity
• Bar induction and restricted classical logic
• A coalgebraic view of bar recursion and bar induction

Cites work

• Bar induction and restricted classical logic
• Constructivism in mathematics. An introduction. Volume II
• Formal systems for some branches of intuitionistic analysis
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• Logical Approaches to Computational Barriers
• Principles of bar induction and continuity on Baire space
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

Cited in

(1)

• Bar induction and restricted classical logic

This page was built for publication: A logical characterization of the continuous bar induction

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