Rogers semilattices in the analytical hierarchy: The case of finite families

Nikolay Bazhenov, Manat Mustafa

A numbering of a countable family $S$ is a surjective map from the set of natural numbers $\omega$ onto $S$. The paper studies Rogers semilattices, i.e. upper semilattices induced by th…