Аннотация
We consider computable numberings of families of partial computable functionals of finite types. We show, that if a family of all partial computable functionals of type 0 has a computable friedberg numbering, then family of all partial computable functionals of any given type also has computable friedberg numbering. Furthermore, for a type σ | τ there are infinitely many nonequivalent computable minimal nonpositive, positive nondecidable and friedberg numberings.
Переведенное название | Фридберговы нумерации семейств частично вычислимых функционалов |
---|---|
Язык оригинала | английский |
Страницы (с-по) | 331-339 |
Число страниц | 9 |
Журнал | Сибирские электронные математические известия |
Том | 16 |
DOI | |
Состояние | Опубликовано - 1 янв 2019 |
Ключевые слова
- Computable morphisms
- Computable numberings
- Friedberg numbering
- Minimal numbering
- Partial computable functionals
- Positive numbering
- Rogers semilattice
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА