RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1996, том 35, номер 3, страницы 294–307 (Mi al2351)

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

Об одном свойстве креативных множеств

И. А. Лавров


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

УДК: 510.5

Поступило: 15.11.1994


 Англоязычная версия: DOI: 10.1007/BF02367214

Реферативные базы данных:


© МИАН, 2024