С. С. Оспичев, “Фридберговы нумерации в иерархии Ершова”, Алгебра и логика, 2015, том 54, номер 4,страницы 444

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

Фридберговы нумерации в иерархии Ершова

С. С. Оспичев^ab

^a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Строится фридбергова нумерация семейства всех множеств любого заданного уровня иерархии Ершова, а также рассматриваются различные следствия этого результата.

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

УДК: 510.532+510.57

Поступило: 17.08.2012
Окончательный вариант: 17.03.2015

DOI: 10.17377/alglog.2015.54.403