Connectivity of an interval
Author:
Mark Mandelker
Journal:
Proc. Amer. Math. Soc. 54 (1976), 170-172
DOI:
https://doi.org/10.1090/S0002-9939-1976-0390140-4
MathSciNet review:
0390140
Full-text PDF Free Access
Abstract | References | Additional Information
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.
- Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
Additional Information
Keywords:
Interval,
connected,
constructive
Article copyright:
© Copyright 1976
American Mathematical Society
