On translations of complete first order theories

DOI10.1002/MALQ.200310007zbMath1016.03029OpenAlexW2131334520MaRDI QIDQ4798207

Seyed-Mohammad Bagheri

Publication date: 19 March 2003

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310007

zbMATH Keywords

automorphismstranslationomitting types theoremfull modelpermorphism

Mathematics Subject Classification ID

Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07)

This page was built for publication: On translations of complete first order theories