We prove that if an ∀∃-formula is true on the inverse limit of the retractive spectrum of algebras, then it is also true on the direct limit and establish some… Click to show full abstract
We prove that if an ∀∃-formula is true on the inverse limit of the retractive spectrum of algebras, then it is also true on the direct limit and establish some consequences for functions definable on these limits.
               
Click one of the above tabs to view related content.