С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 2015, том 15, выпуск 1,страницы 54

Эта публикация цитируется в 2 статьях

Вычислимые семейства множеств иерархии Ершова без главных нумераций

С. С. Оспичев

Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

Аннотация: В статье построен пример вычислимого семейства множеств, не обладающего $\Sigma^{-1}_{a}$-вычислимыми главными нумерациями, для любого $a\in\mathcal{O}$.

Ключевые слова: вычислимая нумерация, иерархия Ершова.

УДК: 510.10+510.57

Поступила в редакцию: 28.01.2013