Friedberg numberings of families of partial computable functionals

Переведенное название: Фридберговы нумерации семейств частично вычислимых функционалов

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

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
ЖурналSiberian Electronic Mathematical Reports
Том16
DOI
СостояниеОпубликовано - 1 янв 2019

Ключевые слова

  • Computable morphisms
  • Computable numberings
  • Friedberg numbering
  • Minimal numbering
  • Partial computable functionals
  • Positive numbering
  • Rogers semilattice

Fingerprint Подробные сведения о темах исследования «Фридберговы нумерации семейств частично вычислимых функционалов». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать