Bulletin of the Polish Academy of Sciences Mathematics · 2007 · 32 citations · 2 references
Natural SciencesMathematicsAlgebraNumber TheoryRepresentation TheoryRational NumbersCauchy SequencesDecimal ComputationDecimal RepresentationMathematical RepresentationReal Numbers
Working in the framework of reverse mathematics, we consider representations of reals as rapidly converging Cauchy sequences, decimal expansions, and two sorts of Dedekind cuts. Converting single reals from one representation to another can always be car
2
H. G. Rice · Proceedings of the American Mathematical Society · 1954 · 157 citations · Full text
Criteria of constructibility for real numbers
John Myhill · Journal of Symbolic Logic · 1953 · 37 citations