4,737 research outputs found
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length
Theories of classification distinguish classes with some good structure
theorem from those for which none is possible. Some classes (dense linear
orders, for instance) are non-classifiable in general, but are classifiable
when we consider only countable members. This paper explores such a notion for
classes of computable structures by working out a sequence of examples.
We follow recent work by Goncharov and Knight in using the degree of the
isomorphism problem for a class to distinguish classifiable classes from
non-classifiable. In this paper, we calculate the degree of the isomorphism
problem for Abelian -groups of bounded Ulm length. The result is a sequence
of classes whose isomorphism problems are cofinal in the hyperarithmetical
hierarchy. In the process, new back-and-forth relations on such groups are
calculated.Comment: 15 page
Finitary reducibility on equivalence relations
We introduce the notion of finitary computable reducibility on equivalence
relations on the natural numbers. This is a weakening of the usual notion of
computable reducibility, and we show it to be distinct in several ways. In
particular, whereas no equivalence relation can be -complete under
computable reducibility, we show that, for every , there does exist a
natural equivalence relation which is -complete under finitary
reducibility. We also show that our hierarchy of finitary reducibilities does
not collapse, and illustrate how it sharpens certain known results. Along the
way, we present several new results which use computable reducibility to
establish the complexity of various naturally defined equivalence relations in
the arithmetical hierarchy
- …