Semantically universal classes of models
From MaRDI portal
Publication:1803018
DOI10.1007/BF01985062zbMath0777.03010MaRDI QIDQ1803018
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
expressibility; finitely axiomatizable Lindenbaum theories; generalized Lindenbaum algebras; recursively axiomatizable theory; semantically universal classes of models
Related Items
On recursively enumerable structures, A.D. Taimanov and model theory in Kazakhstan, First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
Cites Work