TY - JOUR AU - Ferro, Ruggero TI - $\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$ JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1982 SP - 7 EP - 19 VL - 66 PB - Seminario Matematico of the University of Padua UR - http://www.numdam.org/item/RSMUP_1982__66__7_0/ LA - en ID - RSMUP_1982__66__7_0 ER -