Types of connectedness of the constructive real number intervals

Viktor Chernov

We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions a…