This work is inspired by the article “Local Humanities and Education in Front of Third Millennium Challenges” B.G. Sokolov. He discussed “local challenges” generated “integration” “optimization” that have nothing to do with scientific process, about simulation actions as expected response these challenges. The author considers typical ways simulating leading an increase quantitative parameters ...

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.