Кванторная выразимость в логике предикатов

В математике новые понятия часто вводятся путем кванторных определений. При наличии достаточно большого запаса таких понятий они могут позволить переформулировать новые кванторные определения бескванторным образом. Это делает заслуживающей рассмотрения задачу отыскания базисных понятий в заданной предметной области, которые делают избыточным дальнейшее кванторное определение. В данной работе рассматривается кванторная выразимость небольшой глубины в 4 алгебраических системах. Были найдены базисы выразимости для небольшой глубины.