Arities and aritizabilities of first-order theories

2021/12/17 by Sudoplatov, Sergey V.
#03C07 #03C68 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2112.09593

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.

Related

• Arities and aritizabilities of group, monoid and groupoid theories
• Almost n-ary and almost n-aritizable theories
• Formulas and properties
• Algebraic closures and their variations
• Approximations of theories