当前位置:
X-MOL 学术
›
Math. Logic Q.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
First-order undefinability of the notion of transfinitely uplifting cardinals
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2021-04-03 , DOI: 10.1002/malq.201800050 Kentaro Fujimoto 1
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2021-04-03 , DOI: 10.1002/malq.201800050 Kentaro Fujimoto 1
Affiliation
Audrito and Viale introduced the new large cardinal notion of an (α)-uplifting cardinal (for an ordinal α). We shall show that this notion cannot be defined (or expressed) in the standard first-order language of set theory for every tranfinite α.
中文翻译:
超限提升基数概念的一阶不可定义性
Audrito 和 Viale 引入了新的大基数概念,即 (α) 提升基数(对于序数 α)。我们将证明这个概念不能用集合论的标准一阶语言对每个超限 α 定义(或表达)。
更新日期:2021-04-03
中文翻译:
超限提升基数概念的一阶不可定义性
Audrito 和 Viale 引入了新的大基数概念,即 (α) 提升基数(对于序数 α)。我们将证明这个概念不能用集合论的标准一阶语言对每个超限 α 定义(或表达)。