Browsing by Author "Badaev, S. A."

Now showing items 1-2 of 2

Families without minimal numberings

Abeshev, K. Sh.; Badaev, S. A.; Mustafa, M. (2014)
Friedberg numberings in the Ershov hierarchy

Badaev, S. A.; Mustafa, M.; Sorbi, Andrea (2014)

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.