原创力文档- 1、本文档共8页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
递归可枚举度临界性问题的一个结
F36 F 5 r Vol.36, No. 5
1993 o 9 ACTA MATHEMATICA SINICA Sept., 1993
AMRKQIZX
cHB (I)
i t
(xc 100080)
g b
js cappable r.e. r c , m r.e. r a b
o a c , b ∧ c = 0
∼ ∼ ∼ ∼ ∼ ∼ ∼
s r.e. r u, z u ≤ a u ≤ c ,
b ∧ u = o .
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
Gr.e. r (qxr)
§0. JV
GvOpQVAhFxyDjAtxm
FA Lachlan [1968] obOAb (0.1) L
(0.1) ∀ a = o ∃ b a∀ c (a ∨ c = o ↔ b ∨ c = o ).
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
VQVAbnlyjOWO ∨
∧ QVAjyJxrh
[8] eOOSS r.e. O a b , y a ∧ b = o ,
∼ ∼ ∼ ∼ ∼
h r.e. O c c a y c ∧ b = o . Al 87 n 10 aa
∼ ∼ ∼ ∼ ∼ ∼
GZ Ambos-Spies Soare gNLDOhy Ambos-Spies,
Lempp Lerman (1992) eOgODv R. Ambos-Spies
∼
Ding (1990) eO r.e. O a , b , c d c a d, c b , a ∧ b = c yS r.e.
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
[4]
O u ∈ (a , d], u ∧ b = c . H eO r.e. O a , b c a , b c , a ∧ b = c
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
yS r.e. O w v , y w a y v c h w ∧ v = c . Shore Slaman[6] gh
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
PQVy
e (0.2) L
(0.2) (∀ c )[c cappable O → ·(∃ a , b)[a c c ∧ b = o (∀u)[u ≤ a u ≤ c →
∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼ ∼
文档评论（0）