Semantically universal classes of models

DOI10.1007/BF01985062zbMath0777.03010OpenAlexW2029490056MaRDI QIDQ1803018

Mikhaĭl G. Peretyat'kin

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01985062

zbMATH Keywords

expressibilityfinitely axiomatizable Lindenbaum theoriesgeneralized Lindenbaum algebrasrecursively axiomatizable theorysemantically universal classes of models

Mathematics Subject Classification ID

Classical first-order logic (03B10) Computable structure theory, computable model theory (03C57)

Related Items (3)

On recursively enumerable structures ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ A.D. Taimanov and model theory in Kazakhstan

Cites Work

• The Boolean algebra of logic

This page was built for publication: Semantically universal classes of models