|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математическая логика, алгебра и теория чисел
Arities and aritizabilities of first-order theories
S. V. Sudoplatov Sobolev Institute of Mathematics Academician Koptyug avenue, 4 630090, Novosibirsk, Russia
Аннотация:
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.
Ключевые слова:
elementary theory, arity, expansion, aritizability.
Поступила 27 января 2022 г., опубликована 10 декабря 2022 г.
Образец цитирования:
S. V. Sudoplatov, “Arities and aritizabilities of first-order theories”, Сиб. электрон. матем. изв., 19:2 (2022), 889–901
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1548 https://www.mathnet.ru/rus/semr/v19/i2/p889
|
Статистика просмотров: |
Страница аннотации: | 86 | PDF полного текста: | 26 | Список литературы: | 25 |
|