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.

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!