The binary expansion and the intermediate value theorem in constructive reverse mathematics
type: Item
instance of: scholarly article
title: The binary expansion and the intermediate value theorem in constructive reverse mathematics
author: Josef Berger
author: Hajime Ishihara
author: Takayuki Kihara
author: Takako Nemoto
published in: Archive for Mathematical Logic
publication date: 2019-01-24T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 7006134
zbMATH Keywords: the binary expansion
zbMATH Keywords: the intermediate value theorem
zbMATH Keywords: the weak König lemma
zbMATH Keywords: convex tree
zbMATH Keywords: constructive reverse mathematics
MaRDI profile type: Publication
full work available at URL: s00153-018-0627-2
OpenAlex ID: W2741308551
cites work: Brouwer's fan theorem and unique existence in constructive analysis
cites work: The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
cites work: Q5573965
cites work: Q3803111
cites work: Q3754620
cites work: Techniques of constructive analysis
cites work: An omniscience principle, the König Lemma and the Hahn‐Banach theorem
cites work: Q5718575
cites work: Weak König's lemma implies Brouwer's fan theorem: a direct proof
cites work: Relativization of Real Numbers to a Universe
cites work: Equivalents of the (weak) fan theorem
cites work: On computable sequences
cites work: Q3994907
cites work: Q4220572
cites work: Q4302475
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
Wikidata QID: Q129893498
DOI: 10.1007/S00153-018-0627-2
description: scientific article; zbMATH DE number 7006134