一致化问题的Borel-分段连续可约性第条作者:Takayuki Kihara
0000-0002-1611-952倍
高崎木原
我们研究了Borel分段连续函数的精细层次,特别是在封闭分段连续性和$G_\delta$-分段之间连续性。我们的目的是了解优先级参数在可计算性中的作用理论与$G_\delta$-分段连续性的概念相联系,然后我们利用这个连接来获得以下子类的分离结果$G_\delta$-上均匀化问题的分段连续约简具有紧致图的集值函数。此方法也适用于在Weihrauch晶格中分离各种非构造原理。
第12卷第4期
发布日期:2017年4月27日
受理日期:2016年10月18日
提交日期:2016年3月19日
关键词:数学-逻辑、计算机科学-计算机科学中的逻辑