1. Feiner, L.: Hierarchies of Boolean algebras. J. Symb. Logic 35(3), 365–373 (1970)
2. Goncharov, S.S.: Constructivizability of superatomic Boolean algebras. Algebra Logic 12(1), 31–40 (1973)
3. Goncharov, S.S., Ershov, Y.L.: Constructive Models. Consultants Bureau XII, New York (2000)
4. Hanf, W.: The Boolean algebra of logic. Bull. AMS 31, 587–589 (1975)
5. Harizanov, V.S.: Pure computable model theory, chap. 1. In: Ershov, Yu.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, pp. 1–114. North-Holland Publishing Company (1998)