Arities and arizabilities of first-order theories Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2022, Том: 19, Номер: 2, Страницы: 889-901 Страниц : 13 DOI: 10.33048/semi.2022.19.075 | ||||
| Ключевые слова | elementary theory, arity, expansion, aritizability | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. Arities and aritizabilities are semantically characterized. The dynamics for arities of theories is described. Possibilities for arities and aritizabilities of theories are illustrated by a series of natural geometric, combinatorial and model-theoretic examples.
Библиографическая ссылка:
Sudoplatov S.V.
Arities and arizabilities of first-order theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2022. V.19. N2. P.889-901. DOI: 10.33048/semi.2022.19.075 WOS Scopus РИНЦ
Arities and arizabilities of first-order theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2022. V.19. N2. P.889-901. DOI: 10.33048/semi.2022.19.075 WOS Scopus РИНЦ
Даты:
| Поступила в редакцию: | 27 янв. 2022 г. |
| Принята к публикации: | 10 дек. 2022 г. |
| Опубликована online: | 10 дек. 2022 г. |
| Опубликована в печати: | 7 мар. 2023 г. |
Идентификаторы БД:
| Web of science: | WOS:000959099400001 |
| Scopus: | 2-s2.0-85145831329 |
| РИНЦ: | 50336861 |