scientific article

zbMath0488.03024MaRDI QIDQ3949039

Rick L. Smith

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

direct sump-groups which have a recursively unique divisible closurerecursive p-group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Torsion groups, primary groups and generalized primary groups (20K10) Theory of numerations, effectively presented structures (03D45)

Related Items (25)

\(\Pi_{1}^{0}\) classes and orderable groups ⋮ A robuster Scott rank ⋮ Recursion theory and ordered groups ⋮ Abelian \(p\)-groups and the halting problem ⋮ Torsion-free abelian groups with optimal Scott families ⋮ The branching theorem and computable categoricity in the Ershov hierarchy ⋮ Computable torsion abelian groups ⋮ Punctually presented structures I: Closure theorems ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Recursively Categorical Linear Orderings ⋮ The complexity of computable categoricity ⋮ Computability-theoretic categoricity and Scott families ⋮ Polynomial-time Abelian groups ⋮ Algebraic structures computable without delay ⋮ Reverse mathematics and fully ordered groups ⋮ Effective categoricity of equivalence structures ⋮ Hierarchies of torsion-free Abelian groups ⋮ Punctual dimension of algebraic structures in certain classes ⋮ Computable topological groups and Pontryagin duality ⋮ Categoricity spectra of computable structures ⋮ Decompositions of decidable abelian groups ⋮ Effective categoricity of abelian \(p\)-groups ⋮ Relativizing computable categoricity ⋮ Recursive linear orders with recursive successivities ⋮ Countable algebra and set existence axioms

This page was built for publication: