This paper classifies the complexity of various teaching models by their
position in the arithmetical hierarchy. In particular, we determine the
arithmetical complexity of the index sets of the following classes: (1) the
class of uniformly r.e. families with finite teaching dimension, and (2) the
class of uniformly r.e. families with finite positive recursive teaching
dimension witnessed by a uniformly r.e. teaching sequence. We also derive the
arithmetical complexity of several other decision problems in teaching, such as
the problem of deciding, given an effective coding {L0β,L1β,L2β,β¦} of all uniformly r.e. families, any e such that
Leβ={L0eβ,L1eβ,β¦,}, any i and d, whether or not the
teaching dimension of Lieβ with respect to Leβ is upper bounded
by d.Comment: 15 pages in International Conference on Algorithmic Learning Theory,
201