%0 Journal Article %A Smith, Stuart T. %D 1992 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 1057 - 1085 %T Prime numbers and factorization in IE1 and weaker systems %V 57