Tobias Gärtner ; Martin Ziegler - 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: 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).

Volume: Volume 7, Issue 3
Published on: September 2, 2011
Accepted on: June 25, 2015
Submitted on: November 29, 2010
Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,F.4.1, F.1.1, G.1.0


Consultation statistics

This page has been seen 340 times.
This article's PDF has been downloaded 272 times.