Real Analytic Machines and Degrees

Tobias Gärtner; Martin Ziegler

doi:10.2168/LMCS-7(3:11)2011

Tobias Gärtner ; Martin Ziegler - Real Analytic Machines and Degrees

lmcs:1019 - Logical Methods in Computer Science, September 2, 2011, Volume 7, Issue 3 - https://doi.org/10.2168/LMCS-7(3:11)2011

Real Analytic Machines and DegreesArticle

Authors: Tobias Gärtner ; Martin Ziegler

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).

Comment: 20 pages. A preliminary version of this work had appeared in Proc.
CCA 2011, EPTCS vol.24, arXiv:1006.0398v1

https://doi.org/10.2168/LMCS-7(3:11)2011

Source: arXiv.org:1006.0398

Volume: Volume 7, Issue 3

Secondary volumes: Selected Papers of the 7th Conference on Computability and Complexity in Analysis (CCA 2010)

Published on: September 2, 2011

Imported on: November 29, 2010

Keywords: Computer Science - Logic in Computer Science, Mathematics - Logic, F.4.1, F.1.1, G.1.0

Licence: arXiv.org - Non-exclusive license to distribute

Funding:

Source : OpenAIRE Graph