Degree spectra and computable dimensions in algebraic structures
The authors suggest methods to define directed graphs in some classes of structures like symmetric, irreflexive graphs, partial orderings, lattices, rings, integral domains, commutative semigroups, 2-step nilpotent groups in a way that enables them to uniformly transfer to models of these classes a series of known computability-theoretic results on degree spectra, on the number of non-computably isomorphic presentations, etc.
scientific article; zbMATH DE number 1787753
scientific article