О представлении словарных предикатов из арифметической иерархии

Доказано, что в представлении предикатов из классов $A\Sigma_{2n}$, $A\Pi_{2n-1}$ арифметической иерархии словарных предикатов в аафавите $A$ вместо произвольных рекурсивных предикатов можно рассматривать изословарные предикаты Н. К. Косовского.