References
Cohn, P.M.: Algebra, vol. 1, 2nd edn. New York: Wiley
Friedman, H., Simpson, S.G., Smith, R.L.: Countable algebra and set existence axioms. Ann. Pure Appl. Logic25, 141–181 (1983)
Hatzikiriakou, K., Simpson, S.G.: WKL0 and orderings of countable abelian groups. In: Sieg, W. (ed.) Proc. Conf. Logic Computability. Carnegie-Mellon University, 1987
Simpson, S.G., Smith, R.L.: Factorization of polynomials and Σ 01 induction. Ann. Pure Appl. Logic31, 289–306 (1986)
van der Waerden, B.L.: Modern algebra, vol. 2. New York: Ungar Publ. 1950
Author information
Authors and Affiliations
Additional information
The author was supported as a research assistant by NSF grant DMS-8701481
Rights and permissions
About this article
Cite this article
Hatzikiriakou, K. Algebraic disguises ofΣ 01 induction. Arch Math Logic 29, 47–51 (1989). https://doi.org/10.1007/BF01630810
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01630810