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 $\bm{\Delta}^1_2$ in a satisfying way.Comment: Submitted to the Effective Mathematics of the Uncountable Conference, 200

Infinite time decidable equivalence relation theory

We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time computable functions. Many basic aspects of the classical theory remain intact, with the added bonus that it becomes sensible to study some special equivalence relations whose complexity is beyond Borel or even analytic. We also introduce an infinite time generalization of the countable Borel equivalence relations, a key subclass of the Borel equivalence relations, and again show that several key properties carry over to the larger class. Lastly, we collect together several results from the literature regarding Borel reducibility which apply also to absolutely Delta_1^2 reductions, and hence to the infinite time computable reductions.Comment: 30 pages, 3 figure

Classes of structures with no intermediate isomorphism problems

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is uniformly effectively dense, a property we define in the paper, then no extension of it is intermediate, at least when relativized to every oracle on a cone. As an application we show that no infinitary sentence whose models are all linear orderings is intermediate under effective reducibility relative to every oracle on a cone

Turbulence and Araki-Woods factors

Using Baire category techniques we prove that Araki-Woods factors are not classifiable by countable structures. As a result, we obtain a far reaching strengthening as well as a new proof of the well-known theorem of Woods that the isomorphism problem for ITPFI factors is not smooth. We derive as a consequence that the odometer actions of Z that preserve the measure class of a finite non-atomic product measure are not classifiable up to orbit equivalence by countable structures.Comment: 16 page

The universality of polynomial time Turing equivalence

We show that polynomial time Turing equivalence and a large class of other equivalence relations from computational complexity theory are universal countable Borel equivalence relations. We then discuss ultrafilters on the invariant Borel sets of these equivalence relations which are related to Martin's ultrafilter on the Turing degrees