A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products

DOI10.1007/BF02945129zbMath0312.02040MaRDI QIDQ1219880

S. Singh

Publication date: 1973

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

08B20: Free algebras

08C10: Axiomatic model classes

03C68: Other classical first-order model theory