Isomorphism types of Rogers semilattices in the analytical hierarchy

Nikolay Bazhenov, Sergey Ospichev, Mars Yamaleev

A numbering of a countable family $S$ is a surjective map from the set of natural numbers $\omega$ onto $S$. A numbering $\nu$ is reducible to a numbering $\mu$ if there is an effective pro…