О сложности решения систем функциональных уравнений счётнозначной логики

Предложена процедура построения всех решений произвольной системы функциональных уравнений счётнозначной логики. На основе этой процедуры для систем уравнений, содержащих только тернарный дискриминатор $p$, указаны решения, принадлежащие классу $\Sigma_2$ арифметической иерархии Клини–Мостовского. Доказано, что для данных систем уравнений компоненты решения могут быть произвольными функциями из класса $\Sigma^1_1$ аналитической иерархии Клини. Библиогр. 10.