527 research outputs found
Infinite computations with random oracles
We consider the following problem for various infinite time machines. If a
real is computable relative to 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 from ZFC for
ordinal time machines (OTMs) with and without ordinal parameters and give a
positive answer for most other machines. For instance, we consider, infinite
time Turing machines (ITTMs), unresetting and resetting infinite time register
machines (wITRMs, ITRMs), and \alpha-Turing machines for countable admissible
ordinals \alpha
The Lost Melody Phenomenon
A typical phenomenon for machine models of transfinite computations is the
existence of so-called lost melodies, i.e. real numbers such that the
characteristic function of the set is computable while itself is
not (a real having the first property is called recognizable). This was first
observed by J. D. Hamkins and A. Lewis for infinite time Turing machine, then
demonstrated by P. Koepke and the author for s. We prove that, for
unresetting infinite time register machines introduced by P. Koepke,
recognizability equals computability, i.e. the lost melody phenomenon does not
occur. Then, we give an overview on our results on the behaviour of
recognizable reals for s. We show that there are no lost melodies for
ordinal Turing machines or ordinal register machines without parameters and
that this is, under the assumption that exists, independent of
. Then, we introduce the notions of resetting and unresetting
-register machines and give some information on the question for which
of these machines there are lost melodies
Optimal Results on ITRM-recognizability
Exploring further the properties of ITRM-recognizable reals, we provide a
detailed analysis of recognizable reals and their distribution in G\"odels
constructible universe L. In particular, we show that, for unresetting infinite
time register machines, the recognizable reals coincide with the computable
reals and that, for ITRMs, unrecognizables are generated at every index bigger
than the first limit of admissibles. We show that a real r is recognizable iff
it is -definable over , that for every recognizable real and that either all
or no real generated over an index stage are recognizable
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
We describe the basic theory of infinite time Turing machines and some recent
developments, including the infinite time degree theory, infinite time
complexity theory, and infinite time computable model theory. We focus
particularly on the application of infinite time Turing machines to the
analysis of the hierarchy of equivalence relations on the reals, in analogy
with the theory arising from Borel reducibility. We define a notion of infinite
time reducibility, which lifts much of the Borel theory into the class
in a satisfying way.Comment: Submitted to the Effective Mathematics of the Uncountable Conference,
200
- β¦