This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
S. Feferman, Systems of predicative analysis, J. Symbolic Logic 29 (1964) 1–30.
S. Feferman, Predicatively reducible systems of set theory, to appear in Proc. Symp. Pure Math. 13, Part II.
S. Feferman and C. Spector, Incompleteness along paths in progressions of theories, J. Symbolic Logic 27 (1962) 383–390.
I. Kaplansky, Infinite Abelian Groups (Univ. of Michigan Press, 1969).
S. C. Kleene, Quantification of number-theoretic functions, Compositio Mathematica 14 (1959) 23–40.
G. Kreisel, Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy, Bull. Acad. Pol. Sci. 7 (1959) 621–626.
C. Spector, Hyperarithmetical quantifiers, Fund. Math. 48 (1959) 313–320.
C. Spector, Inductively defined sets of natural numbers, in Infinitistic methods (Pergamon, 1961) 97–102.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Feferman, S. (1975). Impredicativity of the existence of the largest divisible subgroup of an Abelian p-group. In: Saracino, D.H., Weispfenning, V.B. (eds) Model Theory and Algebra. Lecture Notes in Mathematics, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080977
Download citation
DOI: https://doi.org/10.1007/BFb0080977
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07538-7
Online ISBN: 978-3-540-38057-3
eBook Packages: Springer Book Archive
