Vol. 95, No. 2, 1981

Recent Issues
Vol. 330: 1
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
Located sets on the line

Mark Mandelker

Vol. 95 (1981), No. 2, 401–409

Located sets are sets from which the distance of any point may be measured; they are used extensively in modern constructive analysis. Here a general method is given for the construction of all located sets on the line. It is based on a characterization of a located set in terms of the resolution of its metric complement into a union of disjoint open intervals. The characterization depends on a strong countability condition for the intervals, called the locating condition. Included as a special case is the characterization and construction of compact sets. The techniques used are in accord with the principles of Bishop’s Foundations of Constructive Analysis, 1967.

Mathematical Subject Classification 2000
Primary: 03F65
Secondary: 26A03
Received: 4 May 1979
Revised: 9 June 1980
Published: 1 August 1981
Mark Mandelker