因为所谓算术集恰是自然数集 N中由一阶公式定义的自然数集,而解析集则是由二阶公式定义的自然数集。算术集构成解析集类的一个更易于定义的子类。同时,由于所有的递归集都是算术集,如把它们看成有同样复杂的可定义性并用作讨论的起点,这将是自然的。 同样的,一个递归可枚举集A恰为{x|扽yRxy},其中R为一般递归谓词,所以一切递归可枚举集也是算术的,而由于一阶公式对于逻辑运算塡和量词彐(自然数变元)具有封闭性,所以任一算术集的补和射影依然是算术的,如此等等。在使用适当约定和稍作引伸之后,即可得到度量集合(数的或问题的)复杂性的一种排序称之为算术分层。类似地可以建立解析分层,从而S.C.克林就利用递归论成功地建立了分层理论及其相应的推广。 因为集合或函数均可用谓词来表述,故以下的讨论将就谓词而言且将沿用递归函数中的符号和概念。 设α,b,с,…,x,y,z;αi,bi,сi,…,xi,yi,zi(i=1,2,…)为自然数集N上的变元(0型变元),α,β,…,α1,α2,…ξ,η,…为一元数论函数集NN上的变元(1型变元)。若具有0型和1型两种变元的谓词 P(α1,α2,…,αm,α1,α2,…,αn)(m,n≥0,m+n>0)由一般递归模式出发,经过有限次使用逻辑运算:→,∨,∧,塡 和量词运算扽x,凬x,扽ξ,凬ξ,而得到,则称谓词P是解析谓词。特别地,当P未用函数量词扽ξ,凬ξ 时,则称之为算术谓词。 由于每一个一阶公式都有等价的前束范式,故可只限于讨论前束范式的情形并简称公式为谓词,把序列(α1,α2,…,αm,α1,α2,…,αn)记成α,并将一前束范式的前束词中,相同的一串量词收缩为一个如

分层理论

这样,一谓词是算术的即是可表成下列形式之一:,其中为一般递归谓词,同时,根据量词的个数及公式最外边的量词是扽 还是凬而分别记成型或型(型的对偶形式)。例如,形如 扽的谓词全体记作,而形如凬扽的谓词全体则记作。 分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

把可以用两种形式及来表示的谓词全体记作。 分层理论

分层理论

分层理论

例如,易见(此即把递归集定义作最简单的算术集)。 分层理论

又如,(此即一谓词属于的充要条件为它是一般递归的)。 分层理论

分层理论

在≥1的情形,恒存在一个枚举类(或)的全体谓词的枚举谓词。例如,对于和m==1而言,存在一个原始递归谓词(,,,,),使得当任给一个一般递归谓词(,,,)时,恒有自然数,使得 分层理论

分层理论

分层理论

此即枚举定理。在这个定理中,可将(,,,,)取为屶(,,,)则有分层定理。 分层理论

对每一≥0,都存在一个型(型)谓词,它不能在其对偶形式中得到表示。换言之,对每一正整数+1而言,有不是的型谓词,也有不是的型谓词。当然,有既不是也不是的型谓词。亦有既不是也不是的型谓词,且有不是的型和型谓词。 分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

分层理论

所以,这就得到了一个方便的分层(1)来给算术谓词(算术集)分类。这个分层称为算术分层。

相关查询: 自然数 可定义 封闭性 依然是 如此等等 复杂性 称之为 数量词 每一个 只限于
最新查询:互为因果 俄亥俄州 综合大学 广大人民 空手而回 泰顺廊桥 �ﴺ�� 相得益彰 学以致用 视觉神经 红头石楠 外旋发球 徒手格斗 山东大学 地质学家 鲜掉眉毛 罗斯托克 生产过剩 熊经鸟申 国际收支 在校学生 极限星等 兼容并包 星之歌者 彼得大帝 工人阶级 ֮ 花花卷卷 生产业务 政治理念 六珍豆花 英法联军 政教分离 线性函数 世界文化 三宣六慰 活动方式 摩托罗拉 科学分析 阶级矛盾 四书五经 结构力学 新墨西哥 群策群力 新闻公报 显著特点 自由女神 综合利用 波澜起伏 二氧化硫 现金管理 竞争机制 电力工业 百事可乐 凤毛麟角 游牧民族 哈拉伊卜 黑斯廷斯 艺术中心 时间管理 体育活动 最佳选择 卷土重来 纵横天下 连结起来 总的来说 公有领域 犯罪心理 ӿ 艰苦创业 视在功率 商品经济 无声电影 光怪陆离 马尔科姆 波波小姐 金华火腿 违法行为 鸡蛋豆腐 分层理论
友情链接: 知道 电影 百科 好搜 问答 微信 值得买 巨便宜 天天特价 洛阳汽车脚垫 女装 女鞋 母婴 内衣 零食 美妆 汽车 油价 郑州 北京 上海 广州 深圳 杭州 南京 苏州 武汉 天津 重庆 成都 大连 宁波 济南 西安 石家庄 沈阳 南阳 临沂 邯郸 保定 温州 东莞 洛阳 周口 青岛 徐州 赣州 菏泽 泉州 长春 唐山 商丘 南通 盐城 驻马店 佛山 衡阳 沧州 福州 昆明 无锡 南昌 黄冈 遵义
© 2025 haodianxin 百科 豫ICP备14030218号-3 消耗时间:0.067秒 内存2.87MB