On Elementary and Geometric Equivalence of Equational Co-Domains

On Elementary and Geometric Equivalence of Equational Co-Domains Full article

Journal

Journal of Mathematical Sciences (United States)
ISSN: 1072-3374 , E-ISSN: 1573-8795

Output data

Year: 2021, Volume: 257, Number: 6, Pages: 902-908 Pages count : 7 DOI: 10.1007/s10958-021-05529-6

Authors

Shevlyakov A.N. ¹

Affiliations

1	Sobolev Institute of Mathematics, Pevtsova st. 13, Omsk, 644099, Russian Federation

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. © 2021, Springer Science+Business Media, LLC, part of Springer Nature.

Shevlyakov A.N.
On Elementary and Geometric Equivalence of Equational Co-Domains
Journal of Mathematical Sciences (United States). 2021. V.257. N6. P.902-908. DOI: 10.1007/s10958-021-05529-6 Scopus OpenAlex

Scopus:	2-s2.0-85115038509
OpenAlex:	W3201328479

Пока нет цитирований