On elementary and geometric equivalence of equational co-domains
Fundamentalʹnaâ i prikladnaâ matematika, Tome 22 (2019) no. 4, pp. 229-238
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
[1] Daniyarova E. Yu., Myasnikov A. G., Remeslennikov V. N., “Algebraicheskaya geometriya nad algebraicheskimi sistemami. VIII. Geometricheskie ekvivalentnosti i osobye klassy algebraicheskikh sistem”, Fundament. i prikl. matem., 22:4 (2019), 75–100
[2] Daniyarova E. Yu., Myasnikov A. G., Remeslennikov V. N., Algebraicheskaya geometriya nad algebraicheskimi sistemami, Izd-vo SO RAN, Novosibirsk, 2016
[3] Shevlyakov A. N., Lectures notes in universal algebraic geometry, arXiv: 1601.02743