2000 character limit reached
Real Analytic Machines and Degrees (1006.0398v3)
Published 2 Jun 2010 in cs.LO and math.LO
Abstract: We study and compare in two degree-theoretic ways (iterated Halting oracles analogous to Kleene's arithmetical hierarchy and the Borel hierarchy of descriptive set theory) the capabilities and limitations of three models of analytic computation: BSS machines (aka real-RAM) and strongly/weakly analytic machines as introduced by Hotz et. al. (1995).