×

Impredicativity of the existence of the largest divisible subgroup of an Abelian p-group. (English) Zbl 0316.02058

Model Theor. Algebra, Mem. Tribute Abraham Robinson, Lect. Notes Math. 498, 117-130 (1975).

MSC:

03C60 Model-theoretic algebra
20K10 Torsion groups, primary groups and generalized primary groups
03D60 Computability and recursion theory on ordinals, admissible sets, etc.