С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 2004, том 43, номер 2,страницы 170

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

Относительно гипериммунные отношения на структурах

С. С. Гончаров^a, Ч. Ф. Мак-Кой^b, Д. Ф. Найт^c, В. С. Харизанова^d

^a Институт математики им. С. Л. Соболева СО РАН
^b University of Wisconsin-Madison
^c University of Notre Dame
^d George Washington University

Аннотация: Пусть $\mathcal{A}$ – вычислимая структура, $R$ – дополнительное отношение на ее носителе. Находятся необходимые и достаточные условия существования такой изоморфной копии $\mathcal{B}$ для $\mathcal{A}$, что образ $R$ ($\lnot R$) является гиперпростым (гипериммунным) относительно $\mathcal{B}$.

Ключевые слова: вычислимая структура, относительно гипериммунное отношение, относительно гиперпростое отношение.

УДК: 510.53

Поступило: 23.04.2002