Positive Numberings in Admissible Sets

Positive Numberings in Admissible Sets

We construct the example of an admissible set A such that there exists a positive computable A -numbering of the family of all A -c.e. sets, whereas any negative computable A -numberings are absent.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Siberian mathematical journal 2020-05, Vol.61 (3), p.478-489
Hauptverfasser: Kalimullin, I. Sh, Puzarenko, V. G., Faizrahmanov, M. Kh
Format: Artikel
Sprache:eng
Schlagworte:
Mathematics
Mathematics and Statistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We construct the example of an admissible set A such that there exists a positive computable A -numbering of the family of all A -c.e. sets, whereas any negative computable A -numberings are absent.
ISSN:0037-4466
1573-9260
DOI:10.1134/S003744662003009X