Аннотация
Functions that are computable on infinite time Blum–Shub–Smale machines (ITBM) are characterized via iterated Turing jumps, and we propose a normal form for these functions. It is also proved that the set of ITBM computable reals coincides with ℝ∩Lωω.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 37-62 |
Число страниц | 26 |
Журнал | Algebra and Logic |
Том | 56 |
Номер выпуска | 1 |
DOI | |
Состояние | Опубликовано - 1 мар 2017 |