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.
This is a preview of subscription content, access via your institution.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
- 1.
A. G. Pinus, “On direct and inverse limits of retractive spectra,” Sib. Math. J. 58, No. 6, 1067–1070 (2017).
- 2.
Yu. L. Ershov, Decisibility Problems and Constructive Models [in Russian], Nauka, Moskow (1980).
- 3.
A. G. Pinus, “Fragments of functional clones,” Algebra Logic 56, No. 4, 318–323 (2017).
Author information
Affiliations
Corresponding author
Additional information
Translated from Sibirskii Zhurnal Chistoi i Prikladnoi Matematiki 18, No. 3, 2018, pp. 60-63.
Rights and permissions
About this article
Cite this article
Pinus, A.G. On Direct and Inverse Limits of Retractive Spectra Once Again. J Math Sci 253, 444–447 (2021). https://doi.org/10.1007/s10958-021-05240-6
Received:
Published:
Issue Date: