Expressive power of finitely axiomatizable theories. III: The main construction

From MaRDI portal

Publication:1920094

Jump to:navigation, search

zbMath0848.03010MaRDI QIDQ1920094

Mikhaĭl G. Peretyat'kin

Publication date: 27 August 1996

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

zbMATH Keywords

graph reduction interpretation finitely axiomatizable theory semantic similarity Lindenbaum algebra recursively axiomatizable theory model-theoretic properties reduction 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. III: The main construction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1920094&oldid=14346111"