Abstract:
We prove that there is an embedding of a linear order isomorphic to the first nonconstructive ordinal over each but the top element of the Rogers semilattice of an arbitrary $\Sigma^0_n$-computable family ($n\geq 2$).
Keywords:numbering, Rogers semilattice, first nonconstructive ordinal.