Turing degrees and automorphism groups of substructure lattices
From MaRDI portal
Publication:2213916
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
automorphismTuring reducibilityTuring jumpTuring degreegroups of \(\mathbf{d}\)-computable automorphismsinterval Boolean algebra of ordered set of rationalslattice of \(\mathbf{d}\)-enumerable vector subspaces
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