1. P. E. Alaev, “Autostable I-algebras,” Algebra i Logika 43(5), 511–550 (2004) [Algebra and Logic 43 (5), 285–306 (2004)].
2. Studies in Logic and the Foundations of Mathematics;C. C. Chang,1973
3. Yu. L. Ershov and S. S. Goncharov, Constructive models (Siberian School of Algebra and Logic, Consultants Bureau, New York, 2000).
4. S. S. Goncharov, Countable Boolean algebras and decidability (Siberian School of Algebra and Logic, Consultants Bureau, New York, 1997).
5. A. Macintyre and J. G. Rosenstein, “№-Categoricity for rings without nilpotent elements and for Boolean structures,” J. Algebra 43(1), 129–154 (1976).