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


 English version:
Journal of Mathematical Sciences (New York), 2021, 257:6, 902–908


© Steklov Math. Inst. of RAS, 2025