$\omega$-satisfiability, $\omega$-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$

Ferro, Ruggero. "$\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$." Rendiconti del Seminario Matematico della Università di Padova 66 (1982): 7-19. <http://eudml.org/doc/107847>.

@article{Ferro1982,
author = {Ferro, Ruggero},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {infinitary languages; omega-satisfiability; omega-chains of models; consistency property; chain models},
language = {eng},
pages = {7-19},
publisher = {Seminario Matematico of the University of Padua},
title = {$\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_\{k,k\}$},
url = {http://eudml.org/doc/107847},
volume = {66},
year = {1982},
}

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
PB - Seminario Matematico of the University of Padua
VL - 66
SP - 7
EP - 19
LA - eng
KW - infinitary languages; omega-satisfiability; omega-chains of models; consistency property; chain models
UR - http://eudml.org/doc/107847
ER -