- Computable categoricity of the Boolean algebra B(omega) with a distinguished automorphism2013 | Faculty of Social Sciences, Faculty of Mathematics and Physics, Centre for Economic Research and Graduate Education
- Computable categoricity of the Boolean algebra b(omega) with a distinguished automorphism2013 | Faculty of Social Sciences, Faculty of Mathematics and Physics, Centre for Economic Research and Graduate Education
- Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism2012 | Faculty of Social Sciences, Faculty of Mathematics and Physics, Centre for Economic Research and Graduate Education