Remarks on the elementary theories of formal and convergent power series Joseph Becker, Leonard Lipshitz (1980) Fundamenta Mathematicae