Ciao a tutti, che differenza c'è tra l'insieme infinito di indici Ax di mdT che calcolano tutte la stessa funzione (Paddling lemma) e l'insieme A (nella definizione di i.i.r.f.) che è anch'esso un insieme di indici che calcolano tutte la stessa funzione?

Ho pensato alla cardinalità dei due insiemi.. Il primo è infinito. Il secondo non saprei, anche perchè grazie al teorema 1.10.19 e al teorema di Rice si può sapere se è r.e. oppure ricorsivo, e quindi la cardinalità in quei casi varia..