scientific article; zbMATH DE number 3767640

MaRDI QIDQ3949039zbMATH OpenFDO

Authors Rick L. Smith

Publication date 1981

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited in

(27)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3949039)