Arities and arizabilities of first-order theories Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2022, Volume: 19, Number: 2, Pages: 889-901 Pages count : 13 DOI: 10.33048/semi.2022.19.075 | ||||
| Tags | elementary theory, arity, expansion, aritizability | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
Abstract:
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.
Cite:
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 РИНЦ
Dates:
| Submitted: | Jan 27, 2022 |
| Accepted: | Dec 10, 2022 |
| Published online: | Dec 10, 2022 |
| Published print: | Mar 7, 2023 |
Identifiers:
| Web of science: | WOS:000959099400001 |
| Scopus: | 2-s2.0-85145831329 |
| Elibrary: | 50336861 |