Arities and aritizabilities of first-order theories

Аннотация

Мы изучаем и описываем возможности для арностей элементарных теорий и их обогащений. Установлены связи для арностей относительно булевых алгебр, дизъюнктных объединений и композиций структур. Арности и аритизуемости охарактеризованы семантически. Описана динамика арностей теорий. Возможности для арностей и аритизируемостей теорий проиллюстрированы на сериях естественных геометрических, комбинаторных и теоретико-модельных примеров.