λ-可满足性，λ-一致性、向下Lowenheim-Skolem定理和插值定理的失败L（左） k个,k个 具有k个余终结性的强极限基数λ
帕多瓦大学马蒂马蒂科·德拉研究所，托梅80（1988），第1-16页。
@文章{RSMUP_1988__80__1_0，author={Ferro，Ruggero}，title={$\lambda$-可满足性，$\lampda$-一致性，向下{Lowenheim}{Skolem}定理，以及$L_{k，k}$插值定理的失败，其中$k$是余终结性$\lambeda$}的强极限基数，journal={Rendiconti del Seminario Matematico della University\`a di Padova}，页面＝{1-16}，publisher={帕多瓦大学马特马提科研讨会}，体积={80}，年份={1988年}，zbl={0691.03021}，语言={en}，url={http://www.numdam.org/item/RSMUP_1988__80__1_0/}}
TY-JOUR公司AU-费罗，拉格罗TI-$\lambda$-可满足性，$\lambda$-一致性，Lowenheim-Skolem定理的向下，以及$L_{k，k}$的插值定理的失败，$k$是余数$\lambda的强极限基数$JO-帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova1988年上半年SP-1型EP-16VL-80PB-帕多瓦大学Matematico学院UR-（欧元）http://www.numdam.org/item/RSMUP_1988__80__1_0/LA-英语ID-RSMUP_1988__80__1_0急诊室-
%0期刊文章%A Ferro、Ruggro%T$\lambda$-可满足性，$\lampda$-相容性，向下Lowenheim-Skolem定理，以及$L_{k，k}$插值定理的失败$%帕多瓦大学皇家马蒂马蒂科·德拉研讨会J Rendiconti del Seminario Matematico della Universityádi Padova%D 1988年%第1-16页%80伏%帕多瓦大学Matematico研讨会%U型http://www.numdam.org/item/RSMUP_1988__80__1_0/%G en公司%对于RSMUP_1988__80__1_0
弗罗·拉格罗$\lambda$-可满足性，$\lambda$-相容性，向下Lowenheim-Skolem定理，以及$L_{k，k}$的插值定理的失败，其中$k$是余终结性的强极限基数。帕多瓦大学马蒂马蒂科·德拉研究所，托梅80（1988），第1-16页。http://www.numdam.org/item/RSMUP_1988__80__1_0/

[1]S.巴拉泰拉,Opportune scelte diαeβper estendere la nozione di propertyádi consistentza e i teoremi di interpolazione ai languaggi infinaliari Lαβconopportune nozioni di soddisfacibilita意大利帕多瓦大学论文，1983年。

[2]E.坎宁安,链模型：一致性属性和前后技术在无限量词语言中的应用，英寸无限逻辑：纪念卡罗尔·卡普1975年，柏林斯普林格·弗拉格。|先生

[3]R.费罗,具有连词和量词的二阶负语言在小于可数余终结强极限基数的基数集上的一致性和模型存在性定理,Rend公司。帕多瓦州立大学,55（1976年），第121-141页。|Numdam编号|先生|Zbl公司

[4]R.费罗,L2+k，k的插值定理,JSL公司,43（1978年），第535-549页。|先生|Zbl公司

[5]R.费罗,Seq一致性与插值定理,Rend公司。帕多瓦州立大学,70（1983年），第133-145页。|Numdam编号|先生|Zbl公司

[6]C.卡普,具有无限长表达式的语言1964年，荷兰北部，阿姆斯特丹。|先生|Zbl公司

[7]C.卡普,无限量词语言与模型ω链，《塔尔斯基研讨会论文集》，美国数学学会，普罗维登斯，1974年。|Zbl公司

[8]J.马利茨,一阶模型理论中定理的无穷类似,JSL公司,36（1971），第216-228页。|先生|Zbl公司