1: \begin{abstract}

2: 	In \emph{language learning in the limit}, the most common type of hypothesis

3:     is to give an enumerator for a language. This so-called $W$-index allows for

4:     naming arbitrary computably enumerable languages, with the drawback that

5:     even the membership problem is undecidable. In this paper we use a different

6:     system which allows for naming arbitrary decidable languages, namely

7:     \emph{programs for characteristic functions} (called $C$-indices). These

8:     indices have the drawback that it is now not decidable whether a given

9:     hypothesis is even a legal $C$-index.

10: 	

11: 	In this first analysis of learning with $C$-indices, we give a structured

12:     account of the learning power of various restrictions employing $C$-indices,

13:     also when compared with $W$-indices. We establish a hierarchy of learning

14:     power depending on whether $C$-indices are required (a) on all outputs; (b)

15:     only on outputs relevant for the class to be learned and (c) only in the

16:     limit as final, correct hypotheses. Furthermore, all these settings are

17:     weaker than learning with $W$-indices (even when restricted to classes of

18:     computable languages). We analyze all these questions also in relation to

19:     the mode of data presentation.

20: 	

21: 	Finally, we also ask about the relation of semantic versus syntactic

22:     convergence and derive the map of pairwise relations for these two kinds of

23:     convergence coupled with various forms of data presentation.

24: \end{abstract}

25: