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

    Volume: Volume 7, Issue 3
    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
      Source : OpenAIRE Graph
    • Computable Analysis; Funder: European Commission; Code: 294962

    2 Documents citing this article

    Consultation statistics

    This page has been seen 1055 times.
    This article's PDF has been downloaded 387 times.