Эта публикация цитируется в
10 статьях
Алгебры бинарных формул для композиций теорий
Д. Ю. Емельяновa,
Б. Ш. Кулпешовbc,
С. В. Судоплатовdea a Новосибирский гос. техн. ун-т, г. Новосибирск, РОССИЯ
b Казахстанско-Британский техн. ун-т, г. Алма-Ата, КАЗАХСТАН
c Ин-т матем. и матем. моделир. МОН РК, г. Алма-Ата, КАЗАХСТАН
d Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
e Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Рассматриваются алгебры бинарных формул для композиций теорий как в общем случае, так и для
$\aleph_0$-категоричных, сильно минимальных и стабильных теорий, линейных предпорядков, циклических предпорядков и серий конечных структур. Показывается, что
$e$-определимые композиции сохраняют изоморфизмы, элементарную эквивалентность и имеют базируемость, образованную базисными формулами исходных теорий. Даются критерии сохранения
$\aleph_0$-категоричности, сильной минимальности и стабильности
$e$-определимых композиций. Устанавливается, что
$e$-определимые композиции теорий задают композиции алгебр бинарных формул. Приводится описание видов этих алгебр относительно композиций с линейными порядками, циклическими порядками и сериями конечных структур.
Ключевые слова:
алгебра бинарных формул, композиция теорий,
$e$-определимая композиция,
$\aleph_0$-категоричная теория, сильно минимальная теория, стабильная теория, линейный предпорядок, циклический предпорядок.
УДК:
510.67 Поступило: 09.04.2019
Окончательный вариант: 24.11.2020
DOI:
10.33048/alglog.2020.59.402
Полный текст:
PDF файл (323 kB)
