The binary expansion and the intermediate value theorem in constructive reverse mathematics

DOI10.1007/S00153-018-0627-2MaRDI QIDQ1712938zbMATH OpenOpenAlexWikidataFDO

Authors Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto

Publication date 24 January 2019

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

Full work available at URL https://doi.org/10.1007/s00153-018-0627-2

zbMATH Keywords

constructive reverse mathematicsconvex treethe binary expansionthe intermediate value theorem[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=the+weak+K%EF%BF%BD%EF%BF%BDnig+lemma&go=Go the weak K��nig lemma]

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)

Recommendations

• The intermediate value theorem in constructive mathematics without choice
• A General Constructive Intermediate Value Theorem
• Weak König's lemma implies the uniform continuity theorem
• scientific article; zbMATH DE number 7226007
• Reverse mathematics, trichotomy and dichotomy

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 619555 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Brouwer's fan theorem and unique existence in constructive analysis
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Constructivism in mathematics. An introduction. Volume II
• Equivalents of the (weak) fan theorem
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On computable sequences
• Relativization of Real Numbers to a Universe
• Techniques of constructive analysis
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• Weak König's lemma implies Brouwer's fan theorem: a direct proof

Cited in

(8)

• The monotone completeness theorem in constructive reverse mathematics
• König's lemma, weak König's lemma, and the decidable fan theorem
• An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
• Constructive proofs of negated statements
• Weihrauch and constructive reducibility between existence statements
• Bishop-Style Constructive Reverse Mathematics
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
• Parallelizations in Weihrauch reducibility and constructive reverse mathematics

This page was built for publication: The binary expansion and the intermediate value theorem in constructive reverse mathematics

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