Connectivity of an interval
Proc. Amer. Math. Soc. 54 (1976), 170-172
Full-text PDF Free Access
Abstract: Constructivizations are given for the classical theorem that an interval is connected in the sense that it cannot be the union of two nonvoid disjoint open subsets, and also for the theorem that an open set is the union of disjoint open intervals.
- E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 36 #4930. MR 0221878 (36:4930)
© Copyright 1976
American Mathematical Society