Литература:

1. Пальчунов Д. Е. Простые и счетно насыщенные модели теории булевых алгебр с выделенными идеалами // Тр. Ин-та математики СО РАН. 1993. Т. 25. С. 82–103.
    
2. Гончаров С. С. Счетные булевы алгебры и разрешимость. Новосибирск: Научная книга, 1996.
    
3. Кейслер Г., Чен Ч. Ч. Теория моделей. М.: Мир, 1977.
    
4. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
    
5. Rabin M. O. Decidability of second-order theories and automata on infinite trees // Trans. Am. Math. Soc. 1969. V. 141, N Jul. P. 1–35.
    
6. Алаев П. Е. Гиперарифметические булевы алгебры с выделенным идеалом // Сиб. мат. журн. 2004. Т. 45, № 5. С. 963–976.
    
7. Ash C. J., Knight J. Computable structures and the hyperarithmetical hierarchy. Amsterdam: Elsevier, 2000.
    
8. Barwise K. J. Back and forth through infinitary logic // Studies in Model Theory. Ed. by M. D. Morley. M. A. A. Studies in Mathematics. 1973. V. 8. P. 5–34.
    
9. Ершов Ю. Л. Проблемы разрешимости и конструктивные модели. М.: Наука, 1980.
    
10. Feiner L. Hierarchies of Boolean algebras // J. Symbol. Logic. 1970. V. 35, N 3. P. 365–374.
     
11. Алаев П. Е. Вычислимые однородные булевы алгебры и одна метатеорема // Алгебра и логика. 2004. Т. 43, № 2. С. 133–158.
     
12. Леонтьева М. Н. Минимальность некоторых условий разрешимости для булевых алгебр // Сиб. мат. журн. 2012. Т. 53, № 1. С. 132–147.