$\mathrm{<trans\; data-src="\lambda ">\lambda </trans>}$-可满足性，$\mathrm{<trans\; data-src="\lambda ">\lambda </trans>}$-一致性、向下Lowenheim-Skolem定理和插值定理的失败${\mathrm{<trans\; data-src="L">L（左）</trans>}}_{\mathrm{<trans\; data-src="k">k个</trans>}<trans\; data-src=",">,</trans>\mathrm{<trans\; data-src="k">k个</trans>}}$具有$\mathrm{<trans\; data-src="k">k个</trans>}$余终结性的强极限基数$\mathrm{<trans\; data-src="\lambda ">\lambda </trans>}$

弗罗·拉格罗。“$\lambda$-可满足性，$\lambeda$-一致性，向下的Lowenheim-Skolem定理，以及$L_{k，k}$的插值定理的失败，其中$k$是余终结性$\lampda$的强极限基数。”帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova80 (1988): 1-16. <http://eudml.org/doc/108118>.

@第{Ferro1988条，
author={Ferro，Ruggero}，
journal={Rendiconti del Seminario Matematico della Universityádi Padova}，
关键词={插值；无限语言；链模型；链一致性属性；向下Löwenheim-Skolem定理；Beth定理}，
语言={eng}，
页数={1-16}，
publisher={帕多瓦大学马特马提科研讨会}，
title={$\lambda$-可满足性，$\lampda$-相容性，向下的Lowenheim-Skolem定理，以及$L_\{k，k\}$插值定理的失败，
url={http://eudml.org/doc/108118},
体积={80}，
年份={1988年}，
}

TY-JOUR公司
AU-费罗，拉格罗
TI-$\lambda$-可满足性，$\lambda$-一致性，Lowenheim-Skolem定理的向下，以及$L_{k，k}$的插值定理的失败，$k$是余数$\lambda的强极限基数$
JO-帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova
1988年上半年
PB-帕多瓦大学Matematico学院
VL-80
SP-1型
EP-16
洛杉矶-eng
KW——插值；无限语言；链模型；链稠度特性；向下的Löwenheim-Skolem定理；贝斯定理
UR-（欧元）http://eudml.org/doc/108118
急诊室-