Definable Ramsey and definable Erdös ordinals. Evangelos Kranakis — 1983 Archiv für mathematische Logik und Grundlagenforschung