We prove that if an ∀∃-formula is true on the inverse limit of retractive spectrum algebras, then it also direct and establish some consequences for functions definable these limits.

As we face the grim global statistics of 1.5 million deaths and more than 65 cases second or even third waves happening in many countries, news effective COVID-19 vaccines shines...