Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession

zbMath0848.03009MaRDI QIDQ1920081

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)

This page was built for publication: Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession