Fred Richman Real numbers and other completions. 98-108 2008 54 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200710024 db/journals/mlq/mlq54.html#Richman08