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

    https://doi.org/10.2168/LMCS-7(3:11)2011
    Source: arXiv.org:1006.0398
    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
    Licence: arXiv.org - Non-exclusive license to distribute
    Funding:
      Source : OpenAIRE Graph
    • Computable Analysis; Funder: European Commission; Code: 294962

    Classifications

    Mathematics Subject Classification 20201
    Sources:
    • [1] zbMATH Open.

    2 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 1641 times.
    This article's PDF has been downloaded 488 times.