Real Analytic Machines and Degrees

DOI10.2168/LMCS-7(3:11)2011zbMath1237.03028arXiv1006.0398OpenAlexW3099290288MaRDI QIDQ3224677

Martin Ziegler, Tobias Gärtner

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1006.0398

zbMATH Keywords

Borel hierarchyBlum-Shub-Smale modelhalting oraclelimiting computation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Computation over the reals, computable analysis (03D78)

Related Items (1)

Representation theorems for analytic machines and computability of analytic functions

This page was built for publication: Real Analytic Machines and Degrees