Kalimullin I.S.; Puzarenko V.G.; Faizrakhmanov M.K.
(2020)
© 2020, Springer Science+Business Media, LLC, part of Springer Nature. We point out an existence criterion for positive computable total Π11 -numberings of families of subsets of a given Π11 -set. In particular, it is ...