Back to Search Start Over

On Elementary and Geometric Equivalence of Equational Co-Domains

Authors :
A. N. Shevlyakov
Source :
Journal of Mathematical Sciences. 257:902-908
Publication Year :
2021
Publisher :
Springer Science and Business Media LLC, 2021.

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.

Subjects

Subjects :
Statistics and Probability
Algebra
Functional programming
Class (set theory)
Applied Mathematics
General Mathematics
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Computer Science::Programming Languages
Predicate (mathematical logic)
Equivalence (measure theory)
Mathematics

Details

ISSN :
15738795 and 10723374
Volume :
257
Database :
OpenAIRE
Journal :
Journal of Mathematical Sciences
Accession number :
edsair.doi...........47c76246ef844c9d9093cf6955c83867

Tools

Authors Abstract Subjects Details