TY - JOUR AU - Parlamento, Franco TI - Binumerability in a sequence of theories JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1981 SP - 9 EP - 12 VL - 65 PB - Seminario Matematico of the University of Padua UR - http://archive.numdam.org/item/RSMUP_1981__65__9_0/ LA - en ID - RSMUP_1981__65__9_0 ER -