TY - JOUR AU - T.v.d. Twer TI - On the strength of several versions of Dirichlet's ( JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1981 SP - 69 EP - 76 VL - 21 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137976/ ID - AMLG_1981__21_137976 ER -