On a Definition of First Order Translation for a Concrete Category
From MaRDI portal
Publication:3966327
DOI10.1002/MALQ.19820280105zbMath0501.18004OpenAlexW2045275809MaRDI QIDQ3966327
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820280105
Equational categories (18C05) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)
This page was built for publication: On a Definition of First Order Translation for a Concrete Category