|
Сибирский математический журнал, 2009, том 50, номер 2, страницы 415–429
(Mi smj1969)
|
|
|
|
Эта публикация цитируется в 27 научных статьях (всего в 27 статьях)
Об одной сводимости на допустимых множествах
В. Г. Пузаренко Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Рассматривается одна сводимость на допустимых множествах, сохраняющая определимые предикаты, и описываются элементарные теоретико-решеточные свойства частично упорядоченных множеств эквивалентных относительно этой сводимости классов допустимых множеств. Кроме того, приводится преобразование, сопоставляющее каждому допустимому множеству эквивалентную ему наследственно конечную надстройку и сохраняющее следующий список дескриптивных свойств (с учетом сложности классов определимой иерархии): перечислимости, квазипроецируемости, униформизации, существования универсальной функции, отделимости и тотальной продолжимости. Вводится понятие скачка допустимого множества, транслирующего вышеприведенные дескриптивные свойства в соответствующие с понижением сложности классов на единицу.
Ключевые слова:
вычислимо перечислимое множество, сводимость по перечислимости, $\Sigma$-сводимость, принципы дескриптивной теории множеств, допустимое множество, наследственно конечная надстройка, натуральный ординал.
Статья поступила: 01.09.2007
Образец цитирования:
В. Г. Пузаренко, “Об одной сводимости на допустимых множествах”, Сиб. матем. журн., 50:2 (2009), 415–429; Siberian Math. J., 50:2 (2009), 330–340
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1969 https://www.mathnet.ru/rus/smj/v50/i2/p415
|
|