Positive Numberings in Admissible Sets
ISKANDER SH. KALIMULLIN, V. G. Puzarenko, M. Kh. Faĭzrahmanov · Siberian Mathematical Journal · 2020
We construct the example of an admissible set \(\mathbb{A}\) such that there exists a positive computable \(\mathbb{A}\) -numbering of the family of all \(\mathbb{A}\) -c.e. sets, whereas any negative computable \(\mathbb{A}\) -numberings are absent.