21 citations · 59 across the 25 of their papers we have counts for
4 papers · 1 filter
Arities and aritizabilities of group, monoid and groupoid theories
Inessa I. Pavlyuk, Sergey V. Sudoplatov
We study applications of a general approach for arities and arizabilities of theories to group and monoid theories. It is proved that a theory of a group is aritizable if and o…
Almost -ary and almost -aritizable theories
Sergey V. Sudoplatov
We study possibilities for almost -ary and -aritizable theories. Their dynamics both in general case, for -categorical theories, and with respect to operations for theorie…
Arities and aritizabilities of first-order theories
Sergey V. Sudoplatov
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 compos…
Formulas and properties
Sergey V. Sudoplatov
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degree…