scientific article
From MaRDI portal
Publication:3961013
zbMath0496.20021MaRDI QIDQ3961013
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abelian groupsmetabelian groupalgorithmic degreealgorithmic degrees of groupsfinite algorithmic degreenon-autoequivalent constructivizations
Applications of logic to group theory (20A15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Recursive equivalence types of sets and structures, isols (03D50) Theory of numerations, effectively presented structures (03D45) Metamathematical considerations in group theory (20A10)
Related Items (13)
Degree spectra and computable dimensions in algebraic structures ⋮ The computable dimension of ordered abelian groups ⋮ On a question of Kalimullin ⋮ Computable torsion abelian groups ⋮ A structure of punctual dimension two ⋮ Online presentations of finitely generated structures ⋮ A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS ⋮ Turing computable embeddings, computable infinitary equivalence, and linear orders ⋮ Computable topological groups and Pontryagin duality ⋮ Turing degrees of complete formulas of almost prime models ⋮ Some applications of computable one-one numberings ⋮ Categorical linearly ordered structures ⋮ PUNCTUAL CATEGORICITY AND UNIVERSALITY
This page was built for publication:
