$\lambda$-satisfiability, $\lambda$-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k,k}$ with $k$ a strong limit cardinal of cofinality $\lambda$

Ferro, Ruggero. "$\lambda $-satisfiability, $\lambda $-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k,k}$ with $k$ a strong limit cardinal of cofinality $\lambda $." Rendiconti del Seminario Matematico della Università di Padova 80 (1988): 1-16. <http://eudml.org/doc/108118>.

@article{Ferro1988,
author = {Ferro, Ruggero},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {interpolation; infinitary languages; chain models; chain consistency properties; downward Löwenheim-Skolem theorem; Beth's theorem},
language = {eng},
pages = {1-16},
publisher = {Seminario Matematico of the University of Padua},
title = {$\lambda $-satisfiability, $\lambda $-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_\{k,k\}$ with $k$ a strong limit cardinal of cofinality $\lambda $},
url = {http://eudml.org/doc/108118},
volume = {80},
year = {1988},
}

TY - JOUR
AU - Ferro, Ruggero
TI - $\lambda $-satisfiability, $\lambda $-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k,k}$ with $k$ a strong limit cardinal of cofinality $\lambda $
JO - Rendiconti del Seminario Matematico della Università di Padova
PY - 1988
PB - Seminario Matematico of the University of Padua
VL - 80
SP - 1
EP - 16
LA - eng
KW - interpolation; infinitary languages; chain models; chain consistency properties; downward Löwenheim-Skolem theorem; Beth's theorem
UR - http://eudml.org/doc/108118
ER -