Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra

DOI10.1007/978-3-319-40189-8_26zbMath1477.03164OpenAlexW2489990360MaRDI QIDQ3188263

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

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_26

Mathematics Subject Classification ID

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

Related Items (2)

The Lattice of Computably Enumerable Vector Spaces ⋮ Turing degrees and automorphism groups of substructure lattices

Cites Work

• 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
• Spectra of structures and relations
• Degrees coded in jumps of orderings
• Recursively enumerable vector spaces
• Degrees of Structures

This page was built for publication: Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra