1. Yu. L. Ershov, ?Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters,? Algebra i Logika,3, No. 3, 17?38 (1964).
2. Yu. L. Ershov, ?Constructive models,? in: Selected Problems in Algebra and Logic [in Russian], Nauka, Novosibirsk (1973), pp. 111?130.
3. S. S. Goncharov, ?Some properties of constructions of Boolean algebras,? Sib. Mat. Zh.,16, No. 2, 264?278 (1975).
4. M. G. Peretyat'kin, ?Strongly constructive models and enumerations of the Boolean algebra of recursive sets,? Algebra i Logika,10, No. 5, 535?557 (1971).
5. A. D. Taimanov, ?Characteristics of axiomatizable classes of models,? Algebra i Logika,1, No. 4, 17?23 (1962).