1. A. G. Pinus, ?A certain one-place predicate calculus,? Izv. Vyssh. Uchebn. Zaved., Mat., No. 1, 54?61 (1979).
2. S. Feferman and R. L. Vaught, ?The first-order properties of products of algebraic systems,? Fund. Math.,47, 57?103 (1959).
3. I. A. Lavrov, ?The effective nonseparability of the set of identically true and the set of finitely refutable formulas of certain elementary theories,? Algebra Logika,2, No. 1, 5?18 (1963).
4. Yu. L. Ershov, Solubility Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
5. A. Baudish, ?The theory of Abelian groups with quantifier (?x), ? Z. Math. Logik Grundlag. Math.,23, No. 5, 447?462 (1977).