@article{71708e64c2b249178cdcfdd5c0316f79,
title = "The Computational Power of Infinite Time Blum–Shub–Smale Machines",
abstract = "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ωω.",
keywords = "BSS machines, computable reals, infinite computations, infinite time Blum–Shub–Smale machines, ITBM, iterated jump, infinite time Blum-Shub-Smale machines",
author = "P. Koepke and Morozov, {A. S.}",
note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media New York.",
year = "2017",
month = mar,
day = "1",
doi = "10.1007/s10469-017-9425-x",
language = "English",
volume = "56",
pages = "37--62",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "1",
}