Abstract
Horn [2] obtained a sufficient condition for an elementary class to be closed under direct product. Chang and Morel [1] showed that this is not a necessary condition. We will show that, if consideration is restricted to identity theory, that is, a first-order predicate calculus with equality but no other relation symbols or operation symbols, Horn's condition is necessary and sufficient.A model for identity theory consists of a non-empty domain A, but no relations or operations except equality. If I is an index set, and for each is a model for identity theory, then the direct product of the is a model for identity theory and has domain A, the cartesian product of the Ai.
Publisher
Cambridge University Press (CUP)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A BIBLIOGRAPHY OF THE THEORY OF MODELS;The Theory of Models;2014
2. References;Model Theory;1990
3. Horn sentences excluding a prime;Algebra Universalis;1986-02
4. Horn Sentences of Small Size in Identity Theory;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1986
5. Bibliography;Studies in Logic and the Foundations of Mathematics;1971