Аннотация:Рассматривается определимость функций и отношений в языке FE функциональных уравнений счетнозначной логики. Доказано, что класс отношений, оределимых функциональными уравнениями над множеством функций {0,x+1}, совпадает с классом Sigma_1^1 аналитической иерархии Клини. Предложены два расширения языка FE, которые по выразительным возможностям эквивалентны языку FE с функциональными константами для всех однородных функций.