It has been shown previously
that under suitable conditions a bounded open set on the line may be resolved into a
countable union of disjoint open intervals. Here, such a resolution is obtained for an
unbounded open set; it requires the introduction of a suitable system of
extended real numbers. The methods used are those of modern constructive
analysis.