Automorphisms of substructure lattices in recursive algebra (Q1078171)

Let \(V_{\infty}\) be a fully effective vector space of countably infinite dimension over a recursive field and let \({\mathcal L}(V_{\infty})\) be the lattice of recursively enumerable subspaces of \(V_{\infty}\). It is shown that any automorphism of \({\mathcal L}(V_{\infty})\) is induced by a recursive semilinear transformation. By diagonalizing over the recursive semilinear transformations it is possible to show that various properties do not determine orbits. There are supermaximal subspaces A and B such that no automorphism of \({\mathcal L}(V_{\infty})\) moves A to B. This can be further strengthened so that A and B have the same dependence degree. Let \(B_{\infty}\) be the free recursive Boolean algebra on countably many generators and let \(L(B_{\infty})\) be the lattice of recursively enumerable subalgebras of \(B_{\infty}\). Every automorphism of \(L(B_{\infty})\) is induced by a recursive automorphism of \(B_{\infty}\).