Algebras of binary formulas for compositions of theories Научная публикация
| Журнал |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Вых. Данные | Год: 2020, Том: 59, Номер: 4, Страницы: 295-312 Страниц : 18 DOI: 10.1007/s10469-020-09602-y | ||||||||||
| Ключевые слова | algebra of binary formulas, composition of theories, e-definable composition, ℵ0-categorical theory, strongly minimal theory, stable theory, linear preorder, cyclic preorder | ||||||||||
| Авторы |
|
||||||||||
| Организации |
|
Реферат:
We consider algebras of binary formulas for compositions of theories both in the general case and as applied to ℵ0-categorical, strongly minimal, and stable theories, linear preorders, cyclic preorders, and series of finite structures. It is shown that e-definable compositions preserve isomorphisms and elementary equivalence and have basicity formed by basic formulas of the initial theories. We find criteria for e-definable compositions to preserve ℵ0-categoricity, strong minimality, and stability. It is stated that e-definable compositions of theories specify compositions of algebras of binary formulas. A description of forms of these algebras is given relative to compositions with linear orders, cyclic orders, and series of finite structures.
Библиографическая ссылка:
Емельянов Д.Ю.
, Кулпешов Б.Ш.
, Sudoplatov S.V.
Algebras of binary formulas for compositions of theories
Algebra and Logic. 2020. V.59. N4. P.295-312. DOI: 10.1007/s10469-020-09602-y WOS Scopus РИНЦ OpenAlex
Algebras of binary formulas for compositions of theories
Algebra and Logic. 2020. V.59. N4. P.295-312. DOI: 10.1007/s10469-020-09602-y WOS Scopus РИНЦ OpenAlex
Оригинальная:
Емельянов Д.Ю.
, Кулпешов Б.Ш.
, Судоплатов С.В.
Алгебры бинарных формул для композиций теорий
Алгебра и логика. 2020. Т.59. №4. С.432-457. DOI: 10.33048/alglog.2020.59.402 РИНЦ OpenAlex
Алгебры бинарных формул для композиций теорий
Алгебра и логика. 2020. Т.59. №4. С.432-457. DOI: 10.33048/alglog.2020.59.402 РИНЦ OpenAlex
Даты:
| Поступила в редакцию: | 9 апр. 2019 г. |
| Принята к публикации: | 24 нояб. 2020 г. |
| Опубликована в печати: | 4 дек. 2020 г. |
| Опубликована online: | 4 дек. 2020 г. |
Идентификаторы БД:
| Web of science: | WOS:000593057900001 |
| Scopus: | 2-s2.0-85096555179 |
| РИНЦ: | 45128900 |
| OpenAlex: | W3110354893 |