DOI10.2168/LMCS-7(3:11)2011zbMath1237.03028arXiv1006.0398MaRDI 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 hierarchy; Blum-Shub-Smale model; halting oracle; limiting computation
Mathematics Subject Classification ID
03E15: Descriptive set theory
03D78: Computation over the reals, computable analysis