Negative Numberings in Admissible Sets. I

Negative Numberings in Admissible Sets. I

We construct an admissible set such that the family of all -computably enumerable sets possesses a negative computable -numbering but lacks positive computable -numberings. We also discuss the question on existence of minimal negative -numberings.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Siberian advances in mathematics 2023-12, Vol.33 (4), p.293-321
Hauptverfasser: Kalimullin, I. Sh, Puzarenko, V. G., Faĭzrakhmanov, 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 an admissible set such that the family of all -computably enumerable sets possesses a negative computable -numbering but lacks positive computable -numberings. We also discuss the question on existence of minimal negative -numberings.
ISSN:1055-1344
1934-8126
DOI:10.1134/S105513442304003X