A constructive look at the real number line (0)

by D Bridges
Venue:In Real numbers, generalizations of the reals, and theories of continua, 29–92, see item [51