Алгебра и логика,
2007, том 46, номер 3, страницы 346–359
(Mi al300)
|
Эта публикация цитируется в
8 статьях
Характеризация $(p,1)$-стабильных теорий
М. А. Русалеев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Даётся полное описание
$(p,1)$-стабильных теорий в терминах определимой интерпретируемости в теории языка одноместных предикатов.
Ключевые слова:
$(p,1)$-стабильная теория, определимая интерпретируемость.
УДК:
510.67 Поступило: 13.11.2007
© , 2024