作者: Sabine Koppelberg
DOI: 10.1016/0168-0072(93)90095-U
关键词:
摘要: Abstract We give a construction assigning classes of Boolean algebras to first-order theories; several considered previously in the literature can be thus obtained. In particular it turns out that class semigroup defined this way, fact by Horn theory, and is largest theory.