Boolean powers, recursive models, and the Horn theory of a structure
George C. Nelson · Pacific Journal of Mathematics · 1984
This paper concerns the algebraic constructions of Boolean powers and bounded Boolean powers of structures 3ί for an arbitrary first-order language.The notion of ^-separating is used to improve results about the logic of reduced power structures.For 2ί recursive we construct recursive models of the theory of each reduced power of 2ί.Finally, it is shown that any complete theory is equivalent to a finitely axiomatizable extension of its Horn consequences.