The recursive sets in certain monadic second order fragments of arithmetic. Dirk Siefkes — 1975 Archiv für mathematische Logik und Grundlagenforschung