Abstract:
It is proved that any $\forall\exists$-formula which is true on the inverse limit of retractive spector of algebras is true on the direct limit of this spector. We obtain some consecuences from this allegation relative definable functions.
Keywords:retractive spector, direct and inverse limits, definable functions.