Friedberg numberings in the Ershov hierarchy

We show that for every n 1, there exists a 1n -computable family which up to equivalence has exactly one Friedberg numbering which does not induce the least element of the corresponding Rogers semilattice

Friedberg numberings in the Ershov hierarchy

We show that for every ordinal notation \xi of a nonzero computable ordinal, there exists a Sigma_\xi—computable family which up to equivalence has exactly one Friedberg numbering, which does not induce the least element in the corresponding Rogers semilattice

Analisi e sviluppi della filosofia della matematica di Roberto Magari: algoritmi per tentativi ed errori e piccole probabilità

[Excerpt from the preface]: Questa tesi approfondisce e sviluppa in modo originale due contributi logico-matematici di Roberto Magari, algebrista e componente di quella ristretta cerchia di matematici e di filosofi cui si deve la rinascita della logica matematica nell’Italia dei primi anni sessanta del secolo scorso