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

lmcs:1019 - Logical Methods in Computer Science, September 2, 2011, Volume 7, Issue 3
Real Analytic Machines and Degrees

Authors: Gärtner, Tobias and Ziegler, Martin

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


Source : oai:arXiv.org:1006.0398
DOI : 10.2168/LMCS-7(3:11)2011
Volume: Volume 7, Issue 3
Published on: September 2, 2011
Submitted on: November 29, 2010
Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,F.4.1, F.1.1, G.1.0


Share

Consultation statistics

This page has been seen 63 times.
This article's PDF has been downloaded 51 times.