Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs

zbMath0848.03008MaRDI QIDQ1920077

Mikhaĭl G. Peretyat'kin

Publication date: 28 August 1996

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

graphreductioninterpretationfinitely axiomatizable theorysemantic similarityLindenbaum algebrarecursively axiomatizable theorymodel-theoretic propertiesreduction of signature

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Related Items (1)

A.D. Taimanov and model theory in Kazakhstan

This page was built for publication: Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs