RUS
ENG
Full version
JOURNALS
// Fundamentalnaya i Prikladnaya Matematika
// Archive
Fundam. Prikl. Mat.,
2019
Volume 22,
Issue 4,
Pages
229–238
(Mi fpm1826)
On elementary and geometric equivalence of equational co-domains
A. N. Shevlyakov
Sobolev Institute of Mathematics, Pevtsova st. 13, Omsk, 644099 Russia
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.
UDC:
510.67
Fulltext:
PDF file (141 kB)
References
English version:
Journal of Mathematical Sciences (New York), 2021,
257
:6,
902–908
©
Steklov Math. Inst. of RAS
, 2025