Principles of bar induction and continuity on Baire space

zbMath1445.03071arXiv1808.04082MaRDI QIDQ5224158

Tatsuji Kawai

Publication date: 19 July 2019

Full work available at URL: https://arxiv.org/abs/1808.04082

zbMATH Keywords

Baire spaceconstructive mathematicscontinuity principlebar inductionBrouwer operation

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (2)

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli ⋮ Characterising Brouwer's continuity by bar recursion on moduli of continuity

Cites Work

• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• New Computational Paradigms
• Logical Approaches to Computational Barriers

This page was built for publication: Principles of bar induction and continuity on Baire space