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

Алгебра и логика, 2010, том 49, номер 4, страницы 498–519 (Mi al451)

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

Об одной полурешётке нумераций. II

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

Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Исследуются $\mathfrak c$-универсальные полурешётки $\mathfrak A$ мощности континуума (верхней полурешётки $m$-степеней) на допустимых множествах. Более точно, показывается, что полурешётка $\mathbb{HF}(\mathfrak M)$-нумераций конечного множества будет таковой, если $\mathfrak M$ – счётная модель $\mathfrak c$-простой теории.

Ключевые слова: вычислимо перечислимые множества, допустимое множество, $\mathbb A$-нумерация, $m\Sigma$-сводимость, наследственно конечная надстройка, натуральный ординал, верхняя полурешётка, $\mathfrak c$-универсальная полурешётка.

УДК: 510.5

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


 Англоязычная версия: Algebra and Logic, 2010, 49:4, 340–353

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


© МИАН, 2024