TY - JOUR AU - Ursini, Aldo TI - A sequence of theories for arithmetic whose union is complete JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1977 SP - 75 EP - 92 VL - 57 PB - Seminario Matematico of the University of Padua UR - http://www.numdam.org/item/RSMUP_1977__57__75_0/ LA - en ID - RSMUP_1977__57__75_0 ER -