The Journal of Symbolic Logic

Research Article

On sentences which are true of direct unions of algebras   1

Alfred Horn

University of California, Los Angeles

It is well known that certain sentences corresponding to similar algebras are invariant under direct union; that is, are true of the direct union when true of each factor algebra. An axiomatizable class of similar algebras, such as the class of groups, is closed under direct union when each of its axioms is invariant. In this paper we shall determine a wide class of invariant sentences. We shall also be concerned with determining sentences which are true of a direct union provided they are true of some factor algebra. In the case where all the factor algebras are the same, a further result is obtained. In §2 it will be shown that these criteria are the only ones of their kind. Lemma 7 below may be of some independent interest.

We adopt the terminology and notation of McKinsey with the exception that the sign · will be used for conjunction. Expressions of the form , where is an equation, will be called inequalities. In accordance with the analogy between conjunction and disjunction with product and sum respectively, we shall call α 1, …, α n the terms of the disjunction

and the factors of the conjunction

Every closed sentence is equivalent to a sentence in prenez normal form,

where x 1, …, x m distinct individual variables, Q 1, …, Qm are quantifiers, and the matrix S is an open sentence in which each of the variables x 1, …, xm actually occurs. The sentence S may be written in either disjunctive normal form:

where α i,j is either an equation or an inequality, or in conjunctive normal form:

.

(Received November 15 1949)

Footnotes

1   The problem considered in this paper was suggested to the author by Professor Alfred Tarski in his seminar of Spring 1947 at the University of California.