The category of numbered abelian groups
zbMath0924.03057MaRDI QIDQ1307189
Publication date: 28 October 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
categorypullbackpushoutconstructive abelian groupcouniversal squarepositively numbered abelian grouprecursive abelian groupuniversal square
Applications of logic to group theory (20A15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Homological and categorical methods for abelian groups (20K40) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)
This page was built for publication: The category of numbered abelian groups