Ciao a tutti,
Chiedo aiuto per la risoluzione del seguente esercizio che era nello scritto di Luglio di Turini e che temo mi richiederà all'orale:

Classificare il seguente insieme:
I = { x | #Wx = 1}
dove # = cardinalità
Wx = dominio della funzione con indice x

Io sono arrivato a dire (spero giustamente) che essendo I un index set non banale esso è non ricorsivo per il teorema di Rice.
Non sono riuscito ad andare oltre e dire se I è RE o non RE.

Ogni input in merito è ben accetto
Immagine