On the decision problem for extensions of a decidable theory Verena Huber Dyson — 1969 Fundamenta Mathematicae