Позитивные BE-представления словарных предикатов

Установлено, что классы арифметических словарных предикатов и рудиментарных предикатов можно определить через предикаты "$x$ есть начало $y$" и "$x$ есть конец $y$" с использованием только позитивных логических операций дизъюнкции и конъюнкции. Библиогр. 5.