1. Π2 反射和容许序数 Π2 onto 任意集合的作用,暂时是难以说明的,所以我们先从 Π2 onto 全体序数开始。这里不加证明地给出以下结论:Π2 反射作用于全体序数的集合,得到的是全体容许序数的集合。 1.1. 容许序数 所谓容许序数,可以大致地理解为无法通过比它小的序数进行递归运算得到的序数。其精准的定义依靠集...
定理2.3: \alpha 是( Ord上的) \Pi_2 反射序数 \Leftrightarrow \alpha 是容许序数。 “ \Rightarrow”:设 \alpha 是\Pi_2 反射序数,则 \alpha 是\Pi_1 反射序数。由定理1.1, \alpha 是极限序数,因此, L_\alpha \models \forall x \exists y, x<y ,由 \alpha 是\Pi_2 反射序数,存在 \mu ...
Σ₃容许折叠Σ₂容许,Σ₂容许折叠Σ₁容许,Σ₁容许折叠递归序数,就能得到PTO(Π¹₃- CA₀)是什么梗【(伪)梗指南】 1.1万 10 2023-07-30 23:59:10 您当前的浏览器不支持 HTML5 播放器 请更换浏览器再试试哦~262 26 122 27Googology...
容许序数2) admissible Sequence 容许序列 1. It is proved that if ak-th eventually n-periodic admissible sequence AB~∞ satisfies certain requirements then f hasa k-th eventually n-periodic orbit of type AB~∞ For an ext ensive class of unimodal functions,the condition of the main theorem ...
反容许四江科统不国支反容许四江科统不国支短周期主族元素W、X、Y、Z的原子序数依次增加。A是元素Y的单质。常温下,甲的浓溶液具有脱水性,和A发生钝化。丙、丁、戊是由这些元
在第一篇文章中,我们发现,大数人所讲的 1−X ,或“ Π1ontoX ”其实就是取 X 上的Π1 反射序数,“ 1 ”指的是 1−Ord 。而由第二篇文章的定理2.3可知,全体容许序数就是全体 Π2 反射序数,即 2−Ord 。因此,我们不难给出 n−X 的定义( n<ω ):全体 X 上的Πn 反射序数。另外,单独的...
容许序数 容许序数（admissible ordinal）是1993年公布的数学名词，出自《数学名词》第一版。公布时间 1993年，经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。