König's Lemma, the ...-rule and primitive recursive arithmetic. E.G.K. López-Escobar (1985) Archiv für mathematische Logik und Grundlagenforschung