数学（一） (6-4)

在第355页上]和[Cenzer1974，定理A在第222页上]。对于这个α，ω的α-半递归子集恰好是ω的π1-归纳可定义子集([RichterAczel1974，304页上的定理D]；参见[Simpson1978，第370页上的例4.13]。

这是最小的序数

#

G

ω1 1不是中良好排序递归的顺序类型

由G(f：) ≈ f (0) f)定义的非确定泛函G# (f(1))；对于这个α

一 一 (ω1 )+

一

α-递归(分别为。ω的α-半递归)子集恰好是递归(相应地。半递归的)。

2.9.最小σ1-反射序数。也是σ1的闭包序数的sup

一 一

一

归纳算子:[RichterAczel1974，303页定理B或355页10.7]。对于这个α，ω的α-半递归子集恰好是ω的σ1-归纳可定义子集([RichterAczel1974，304页上的定理D]；参见[Simpson1978，第370页上的例4.14]。

这个序数大于2.8:[aandera 1974，定理6的推论1，第213页]；另见:[Simpson1978，定理6.5]和[GostanianHrbácˇek1979]。

这是最小的序数

#

E

ω1 1不是中良好排序递归的顺序类型

一

Tugué功能E1的非确定性版本E#;并且对于这个α，α-递归(分别为。ω的α-半递归)子集恰好是递归(相应地。表示“半”

一

递归)(结合[Aczel1970，第313页上的定理1，第318页上的定理2]和[RichterAczel1974，第304页上的定理D])。

这是最小的容许α，它不是Gandy的，即，使得α的每个α-递归线性序，其中Lα+认为它是一个良序(α+是下一个容许的),实际上是一个良序:见[Simpson1978，定理6.6页（page的缩写）377]和[Gostanian1979，定理3.3](关于术语“Gandy序数”，参见[AbramsonSacks1976]:在[Gostanian1979]中，相同的序数称为“好”)。

【找到这个:这个序数有多稳定？]

一

2.10.最小的(++)-稳定序数，即最小的α使得Lα ≤1 Lα++其中α+，α++是两个最小的容许序数＞α。这是σ1-反射且大于2.9的序数([Simpson1978，376页上的定理6.4]和下面的命题3.1)。

2.11.最小的不可达稳定序数，即最小的α使得Lα ≤1 Lβ

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。