Decidable fan theorem and uniform continuity theorem with continuous moduli

DOI10.1002/malq.202000028zbMath1521.03242arXiv1912.02432OpenAlexW3159612704MaRDI QIDQ6047675

Makoto Fujiwara, Tatsuji Kawai

Publication date: 12 September 2023

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

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items

Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$

Cites Work

• Equivalents of the (weak) fan theorem
• Sequences of real functions on [0,1 in constructive reverse mathematics]
• Constructivism in mathematics. An introduction. Volume I
• On Brouwer's continuity principle
• Real number computability and domain theory
• 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
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• New Computational Paradigms
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item