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. |