|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
Алгебры бинарных формул для композиций теорий
Д. Ю. Емельяновa, Б. Ш. Кулпешовbc, С. В. Судоплатовdea a Новосибирский гос. техн. ун-т, г. Новосибирск, РОССИЯ
b Казахстанско-Британский техн. ун-т, г. Алма-Ата, КАЗАХСТАН
c Ин-т матем. и матем. моделир. МОН РК, г. Алма-Ата, КАЗАХСТАН
d Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
e Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Рассматриваются алгебры бинарных формул для композиций теорий как в общем случае, так и для $\aleph_0$-категоричных, сильно минимальных и стабильных теорий, линейных предпорядков, циклических предпорядков и серий конечных структур. Показывается, что $e$-определимые композиции сохраняют изоморфизмы, элементарную эквивалентность и имеют базируемость, образованную базисными формулами исходных теорий. Даются критерии сохранения $\aleph_0$-категоричности, сильной минимальности и стабильности $e$-определимых композиций. Устанавливается, что $e$-определимые композиции теорий задают композиции алгебр бинарных формул. Приводится описание видов этих алгебр относительно композиций с линейными порядками, циклическими порядками и сериями конечных структур.
Ключевые слова:
алгебра бинарных формул, композиция теорий, $e$-определимая композиция, $\aleph_0$-категоричная теория, сильно минимальная теория, стабильная теория, линейный предпорядок, циклический предпорядок.
Поступило: 09.04.2019 Окончательный вариант: 24.11.2020
Образец цитирования:
Д. Ю. Емельянов, Б. Ш. Кулпешов, С. В. Судоплатов, “Алгебры бинарных формул для композиций теорий”, Алгебра и логика, 59:4 (2020), 432–457; Algebra and Logic, 59:4 (2020), 295–312
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2625 https://www.mathnet.ru/rus/al/v59/i4/p432
|
Статистика просмотров: |
Страница аннотации: | 179 | PDF полного текста: | 12 | Список литературы: | 21 | Первая страница: | 2 |
|