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…