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

DOI10.1002/MALQ.202200031OpenAlexW4385218564MaRDI QIDQ6096807

Tatsuji Kawai

Publication date: 15 September 2023

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

Full work available at URL: https://doi.org/10.1002/malq.202200031

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalents of the (weak) fan theorem
• Weak König's lemma implies Brouwer's fan theorem: a direct proof
• Constructivism in mathematics. An introduction. Volume I
• The binary expansion and the intermediate value theorem in constructive reverse mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Weak König’s Lemma Implies the Uniform Continuity Theorem
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
• The weak König lemma and uniform continuity
• Continuity properties in constructive mathematics
• From Intuitionistic Mathematics to Point-Free Topology
• The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• New Computational Paradigms
• Logical Approaches to Computational Barriers
• Decidable fan theorem and uniform continuity theorem with continuous moduli
• König's lemma, weak König's lemma, and the decidable fan theorem

This page was built for publication: Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$