The binary expansion and the intermediate value theorem in constructive reverse mathematics
scientific article; zbMATH DE number 7006134
scientific article