Еще раз о прямых и обратных пределах ретрактивных спектров

Доказывается, что любая $\forall\exists$-формула, истинная на обратном пределе ретрактивного спектра алгебр, остается истинной и на его прямом пределе, получен ряд следствий этого утверждения, связанных с определимыми на этих пределах функциями.