Some constructivizations of Abelian groups

DOI10.1007/BF00968734zbMath0528.20038MaRDI QIDQ786923

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)

Related Items (21)

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

Cites Work

• Unnamed Item
• Unnamed Item

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