most citedLocally Constant Constructive Functions and Connectedness of Intervals

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2020★ 3 cited

Locally Constant Constructive Functions and Connectedness of Intervals

Viktor Chernov

We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we…