Сиб. матем. журн.,
2008, том 49, номер 1, страницы 189–192
(Mi smj1832)
|
Эта публикация цитируется в
3 статьях
Критерий разложимости элементарных теорий
Д. К. Пономарев Институт систем информатики им. А. П. Ершова
СО РАН
Аннотация:
Установлена однозначность разложения элементарной теории на неразложимые компоненты. Сформулирован критерий разложимости.
Ключевые слова:
разложимая теория, декомпозиция теорий.
УДК:
510.6 Статья поступила: 17.07.2006
Окончательный вариант: 10.05.2007
© , 2024
Полный текст:
PDF файл (236 kB)
