Number theoretic concepts and recursive well-orderings. G. Kreisel; J. Shoenfield Archiv für mathematische Logik und Grundlagenforschung