|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Пузаренко В. Г. Об одной сводимости на допустимых множествах //
Том 50 (2009), Номер 2,
стр. 415429
Рассматривается одна сводимость на допустимых множествах, сохраняющая определимые предикаты, и описываются элементарные теоретико-решеточные свойства частично упорядоченных множеств эквивалентных относительно этой сводимости классов допустимых множеств. Кроме того, приводится преобразование, сопоставляющее каждому допустимому множеству эквивалентную ему наследственно конечную надстройку и сохраняющее следующий список дескриптивных свойств (с учетом сложности классов определимой иерархии): перечислимости, квазипроецируемости, униформизации, существования универсальной функции, отделимости и тотальной продолжимости. Вводится понятие скачка допустимого множества, транслирующего вышеприведенные дескриптивные свойства в соответствующие с понижением сложности классов на единицу.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|