Some constructivizations of Abelian groups

DOI10.1007/BF00968734MaRDI QIDQ786923zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1983

Published in Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

autostable torsion partconstructive Abelian groupsconstructive equivalencefinite rank Abelian grouprecursive maximal independent set

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Subgroups of abelian groups (20K27) Torsion-free groups, finite rank (20K15)

Cited in

(21)

• New degree spectra of Polish spaces
• Left-orderable computable groups
• Hierarchies of torsion-free Abelian groups
• \(\Pi_{1}^{0}\) classes and orderable groups
• Eliminating unbounded search in computable algebra
• Computability of Polish spaces up to homeomorphism
• Computable topological groups and Pontryagin duality
• Decompositions of decidable abelian groups
• Computable abelian groups
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
• Arithmetic hierarchy of Abelian groups
• Computable valued fields
• The computable dimension of ordered abelian groups
• Torsion-free abelian groups with optimal Scott families
• Independence in computable algebra
• Computable topological abelian groups
• Orders on magmas and computability theory
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Computable Stone spaces
• Degrees of orders on torsion-free abelian groups

This page was built for publication: Some constructivizations of Abelian groups

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