Da facebook:
DIre se [math] è ricorsivo, ricorsivamente enumerabile o non ricorsivamente enumerabile.

Ho provato a ridurre K ad A, ridurre lui a K, anche a ridurre il suo complementare a K ma invano. Intuitivamente penso che sia non ricorsivo (forse anche non ricorsivamente enumerabile), ma non riesco a dimostrarlo formalmente.

Sono riuscito a dimostrarlo nel problema "giocattolo" in cui l'uguaglianza fra due funzioni non tiene conto di quando una delle due diverge, ma così com'è non mi riesce proprio. Qualcuno mi dà una dritta?