Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
From MaRDI portal
Publication:1920077
zbMath0848.03008MaRDI QIDQ1920077
Publication date: 28 August 1996
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
graphreductioninterpretationfinitely axiomatizable theorysemantic similarityLindenbaum algebrarecursively axiomatizable theorymodel-theoretic propertiesreduction of signature
Related Items (1)
This page was built for publication: Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs