Horn sentences
- 31 December 1970
- journal article
- review article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 1 (4) , 389-422
- https://doi.org/10.1016/0003-4843(70)90002-1
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Reduced products, Horn sentences, and decision problemsBulletin of the American Mathematical Society, 1967
- Some applications of infinitely long formulasThe Journal of Symbolic Logic, 1965
- Reduced products and Horn classesTransactions of the American Mathematical Society, 1965
- Reduced direct productsFundamenta Mathematicae, 1962
- Ultraproducts and elementary classesIndagationes Mathematicae, 1961
- Theory of models with generalized atomic formulasThe Journal of Symbolic Logic, 1960
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959
- On closure under direct productThe Journal of Symbolic Logic, 1958
- A solution of a problem of R. SikorskiFundamenta Mathematicae, 1953
- On sentences which are true of direct unions of algebrasThe Journal of Symbolic Logic, 1951