Turing degrees and automorphism groups of substructure lattices

DOI10.1007/S10469-020-09576-XzbMath1484.03076arXiv1811.01224OpenAlexW3027676332MaRDI QIDQ2213916

R. D. Dimitrov, Valentina S. Harizanov, Andrey S. Morozov

Publication date: 3 December 2020

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.01224

zbMATH Keywords

automorphismTuring reducibilityTuring jumpTuring degreegroups of \(\mathbf{d}\)-computable automorphismsinterval Boolean algebra of ordered set of rationalslattice of \(\mathbf{d}\)-enumerable vector subspaces

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dependence relations in computably rigid computable vector spaces
• Automorphisms of substructure lattices in recursive algebra
• Computable groups of automorphisms of models
• Permutations and implicit definability
• Turing reducibility as algebraic embeddability
• Subspaces of computable vector spaces
• Turing's Legacy
• Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
• Spectra of structures and relations
• Degrees coded in jumps of orderings
• Recursively enumerable vector spaces
• Degrees of Structures

This page was built for publication: Turing degrees and automorphism groups of substructure lattices