RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2008, том 5, страницы 1–7 (Mi semr85)

Статьи

О семействе вычислимых множеств на допустимых множествах

В. Г. Пузаренко

Институт математики им. С. Л. Соболева СО РАН

Аннотация: We study the existence of computable numberings of the set of all $\Delta$-predicates over admissible sets. We construct an admissible set whose set of all $\Delta$-predicates fails to have such a numbering and give a series of examples of admissible sets in which such numberings exist.

УДК: 510.5

MSC: 03D60

Поступила 25 июня 2007 г., опубликована 24 января 2008 г.



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


© МИАН, 2024