Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto. The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log., 58(1-2):203-217, 2019. [doi]
@article{BergerIKN19, title = {The binary expansion and the intermediate value theorem in constructive reverse mathematics}, author = {Josef Berger and Hajime Ishihara and Takayuki Kihara and Takako Nemoto}, year = {2019}, doi = {10.1007/s00153-018-0627-2}, url = {https://doi.org/10.1007/s00153-018-0627-2}, researchr = {https://researchr.org/publication/BergerIKN19}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {58}, number = {1-2}, pages = {203-217}, }