Kalimullin I.; Puzarenko V.; Faizrahmanov M.
(2019)
© 2019, Pleiades Publishing, Inc. We study the problem of the existence of decidable and positive Π11- and Σ11-numberings of the families of Π11- and Σ11-cones with respect to inclusion. Some laws are found that reflect ...