Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  przekrój Dedekinda
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Representations of reals in reverse mathematics
EN
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[sub]0. However, the conversion process is not always uniform. Converting infinite sequences of reals in some representations to other representations requires the use of WKU[sub]0 or ACA[sub]0.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.