Bazhenov, N. A., Tukhbatullina, R. Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism. Algebra and Logic. 2012, 51(5), 384-403. ISSN 0002-5232. E-ISSN 1573-8302. Dostupné z: https://doi.org/10.1007/s10469-012-9199-0