On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic. T.v.d. Twer — 1981 Archiv für mathematische Logik und Grundlagenforschung