wtt-度的 Nonbounding 定理

本文用“魔怪方法”证明了对任何一个低的 r.e.集 D,存在一个 r.e.集C,使得 D<_(wtt)C,且对任何 r.e.集 A,B,如果 A≤_(wtt)C,B≤_(wtt)C,A(?)_(wtt)D,B(?)_(wtt)D,则 deg(A)∩deg(B)≠(?).此处 deg(A),deg(B)分别表示 A,B 的 wtt-度.     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

非p脱殊的非分枝的r.e.度在低的r.e.度中的稠密性

本文证明了非p脱殊的非分枝的r.e.度在低的r.e.度中是稠密的.     

r.e.的p—脱殊度是交不可到达的

本文证明 r.e.的 p-脱殊度是交不可到达的以及交不可到达的度是稠密的.     

递归算术公理的简化

本文,我们把递归算术系统简化为下列三个系统:A_0V_2、A_0V_1I_2θ_2及A_0V_1I_2θ_2~*,此处A_0为存在性公理,而V_n、I_n、θ_n、θ_n~*为唯一性规则,其定义如下:A_0是:给了H(x,y),存在一函数F(u,x),使得规则V_n是:此处是指“可推导出”,x为约束变元,它在前件中不能进行代入,I_n是V_n当H是么函数I(I(x)=x)时的特例,θ_n是V_n当H为θ(θ(x)=0)时的特例,θ_n~*又是θ_n当F(u_1,…,u_n,0)=0时的特例。     

递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_x的性质,一是推出函数的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。     

r.e.的脱殊集的子集的性质

本文研究了ｐ－脱殊集，ｓ－脱殊集，ｅ－脱殊集的子集的各种性质．     

RESEARCH ANNOUNCEMENTS R.e. Degrees of Recursively Inseparable Sets

The concept of recursively inseparable sets is an important concept in therecursion theory.The Sacks’splitting theorem is an important theorem in thetheory of degrees of unsolvability.Since it appears,many scholars generalize itfrom different respects,such that splitted sets have some particular properties.Inthis paper we combine the concept of recursively inseparable sets with the Sacks’theorem,and generalize the Sacks’theorem.     

递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_α的性质,一是推出函数[x~(1/2)]的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。     

在d-r.e.度结构中真d-r.e.分支度的弱稠密性 *

证明了对任意r.e .度v相似文献