A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem

DOI10.1007/S00153-018-0644-1zbMath1475.03100arXiv1808.08076OpenAlexW2888403409MaRDI QIDQ1734272

Tatsuji Kawai

Publication date: 27 March 2019

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

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

zbMATH Keywords

constructive reverse mathematicsstrong continuityfan theorempointwise continuity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)

Cites Work

• Techniques of constructive analysis
• 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
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
• A Bizarre Property Equivalent to the -Fan Theorem
• New Computational Paradigms
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem