Representations of Reals in Reverse Mathematics
Jeffry L. Hirst · Bulletin of the Polish Academy of Sciences Mathematics · 2007
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