Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
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₀.
Słowa kluczowe
Kategorie tematyczne
Rocznik
Tom
Numer
Strony
303-316
Opis fizyczny
Daty
wydano
2007
Twórcy
autor
- Department of Mathematical Sciences, Appalachian State University, Boone, NC 28608, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
DOI
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-ba55-4-2