Tobias Gärtner (Universität des Saarlandes, Saarbrücken, GERMANY) |
Martin Ziegler (Technische Universität Darmstadt, GERMANY) |
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). |
ArXived at: https://dx.doi.org/10.4204/EPTCS.24.12 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |