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 引入了新的大基数概念，即 (α) 提升基数（对于序数 α）。我们将证明这个概念不能用集合论的标准一阶语言对每个超限 α 定义（或表达）。