Computability theory and automorphisms of lattices of substructures Presentation uri icon