Arities and aritizabilities of first-order theories
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. The dynamics for arities of theories is described.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2021
- DOI:
- 10.48550/arXiv.2112.09593
- arXiv:
- arXiv:2112.09593
- Bibcode:
- 2021arXiv211209593S
- Keywords:
-
- Mathematics - Logic;
- 03C07;
- 03C68