开放式访问
2018 枚举1-局部枚举度中的遗传性
莉利亚娜·巴迪洛,查尔斯·哈里斯,玛丽亚·索斯科娃
圣母院J.形式逻辑 59(4): 461-489年 (2018). DOI:10.1215/0294527-2018-0008

摘要

我们讨论了一个以枚举为特征的强制概念1-一般性,我们研究枚举的免疫性、低性和拟极小性1-泛型集及其度。我们构造了一个枚举运算符Δ这样,对于任何A类,集合ΔA类是枚举1-泛型,跳转复杂性与A类。我们从这一结果和其他最近的文献中推断出,不仅在各个程度上绑定枚举1-一般程度b条这样的话'=b条',但如果非零,那么我们可以找到这样的b条令人满意的0e(电子)<b条<我们通过证明非零低和适当低的存在性得出结论20不可拆分枚举1-类属度,从而证明1-一般学位被枚举类适当地归入1-普通学位。

引用

下载引文

莉莉亚娜·巴迪略。 查尔斯·哈里斯(Charles M.Harris)。 玛丽亚·索斯科娃。 "枚举1-局部枚举度中的遗传性。" 圣母院J.形式逻辑 59 (4) 461 - 489, 2018 https://doi.org/10.1215/00294527-2018-0008

问询处

收到日期:2015年6月26日;接受日期:2016年5月9日;出版时间:2018年
首次在欧几里德项目中提供:2018年10月13日

zbMATH公司:06996539
数学科学网:3871896马来西亚令吉
数字对象标识符:10.1215/00294527-2018-0008

学科:
主要用户:03日30分
次要:2008年3月28日

关键词:,枚举,泛型,可还原性

版权所有©2018圣母大学

第59卷•第4期•2018
返回页首