Abstract
We prove that the class of equational co-domains is not closed under elementary and geometric equivalence. We find corresponding counter-examples in predicate and functional languages.
Similar content being viewed by others
References
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, Algebraic Geometry over Algebraic Structures [in Russian], Novosibirsk, SO RAN (2016).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. VIII. Geometric equivalences and classes of algebraic structures,” Fundam. Prikl. Mat., 22, No. 4 (2019).
A. N. Shevlyakov, Lectures Notes in Universal Algebraic Geometry, arXiv:1601.02743.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 22, No. 4, pp. 229–238, 2019.
Rights and permissions
About this article
Cite this article
Shevlyakov, A.N. On Elementary and Geometric Equivalence of Equational Co-Domains. J Math Sci 257, 902–908 (2021). https://doi.org/10.1007/s10958-021-05529-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-021-05529-6