Components of an open set
Mark Mandelkern · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1982
Abstract A classical theorem states that any open set on the real line is a countable union of disjoint open invervals. Here the numerical content of this theorem is investigated with the methods of constructive topology.