Open Access
2017 Infinite Computations with Random Oracles
Merlin Carl, Philipp Schlicht
Notre Dame J. Formal Logic 58(2): 249-270 (2017). DOI: 10.1215/00294527-3832619
Abstract

We consider the following problem for various infinite-time machines. If a real is computable relative to a large set of oracles such as a set of full measure or just of positive measure, a comeager set, or a nonmeager Borel set, is it already computable? We show that the answer is independent of ZFC for ordinal Turing machines with and without ordinal parameters and give a positive answer for most other machines. For instance, we consider infinite-time Turing machines, unresetting and resetting infinite-time register machines, and α-Turing machines for countable admissible ordinals α.

Copyright © 2017 University of Notre Dame
Merlin Carl and Philipp Schlicht "Infinite Computations with Random Oracles," Notre Dame Journal of Formal Logic 58(2), 249-270, (2017). https://doi.org/10.1215/00294527-3832619
Received: 18 March 2014; Accepted: 21 August 2014; Published: 2017
Vol.58 • No. 2 • 2017
Back to Top