Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism

Abstrakt

A constructivizability criterion for the Boolean algebra B(ω) with a distinguished automorphism is given. As a consequence of the criterion, combined with a result due to I.

Sh. Kalimullin, B.

M. Khoussainov, and A.

G. Melnikov, we construct a Boolean algebra with a distinguished automorphism.

Klíčová slova

• Boolean algebra
• constructivizability
• degree spectra of structures