Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper Kurt Hauschild (1974) Fundamenta Mathematicae
Remarks on the elementary theories of formal and convergent power series Joseph Becker, Leonard Lipshitz (1980) Fundamenta Mathematicae