Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Representations of Reals in Reverse Mathematics

Jeffry L. Hirst — 2007

Bulletin of the Polish Academy of Sciences. Mathematics

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 carried out in RCA₀. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKL₀ or ACA₀.

Page 1

Download Results (CSV)