Title:Infinite computations with random oracles

Abstract:We consider infinitary computations with resetting and unresetting infinite time register machines (ITRMs), infinite time Turing machines ($ITTM$s), $\alpha$-Turing machines and ordinal time Turing machines (OTMs) with and without parameters. For a fixed type of machine, we consider the question whether, if a real is computable relative to `large' set of oracles, e.g. a comeager or non-meager set of oracles or a set of oracles of full or even just of positive measure, it is already computable? We prove that, for ITRMs of both kinds and $\alpha$-Turing machines with $\alpha\in\{\omega_{i}^{CK}|i\in\omega\}$, computability relative to oracles in a set of positive measure implies computability, that for $ITTM$s, writability in a comeager set of oracles implies writability, and that for OTMs both with and without parameters, the answer depends on the model of set theory (and is hence independent from $ZFC$). We also study the connection with computations from mutually random oracles.