СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Пузаренко В. Г. Об одной сводимости на допустимых множествах // Том 50 (2009), Номер 2, стр. 415–429
Рассматривается одна сводимость на допустимых множествах,
сохраняющая определимые предикаты, и описываются элементарные
теоретико-решеточные свойства частично упорядоченных множеств
эквивалентных относительно этой сводимости классов допустимых
множеств. Кроме того, приводится преобразование, сопоставляющее
каждому допустимому множеству эквивалентную ему наследственно
конечную надстройку и сохраняющее следующий список дескриптивных
свойств (с учетом сложности классов определимой иерархии): перечислимости, квазипроецируемости, униформизации,
существования универсальной функции, отделимости и тотальной
продолжимости. Вводится понятие скачка допустимого множества,
транслирующего вышеприведенные дескриптивные свойства в соответствующие с понижением сложности классов на единицу.
© Сибирский Математический Журнал, 2003-2006