Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
Boolean algebra with distinguished automorphism
scientific article; zbMATH DE number 6138174