A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models

Anne Preller. A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models. Math. Log. Q., 31(14-18):227-234, 1985. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.