Computer Science – Logic in Computer Science
Scientific paper
2010-06-02
LMCS 7 (3:11) 2011
Computer Science
Logic in Computer Science
20 pages. A preliminary version of this work had appeared in Proc. CCA 2011, EPTCS vol.24, arXiv:1006.0398v1
Scientific paper
10.2168/LMCS-7(3:11)2011
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).
Gärtner Tobias
Ziegler Martin
No associations
LandOfFree
Real Analytic Machines and Degrees does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Real Analytic Machines and Degrees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Real Analytic Machines and Degrees will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-512925