高崎木原-一致化问题的Borel-分段连续可约性

lmcs:2173个-计算机科学中的逻辑方法,2017年4月27日,第12卷第4期-https://doi.org/10.2168/LMCS-12(4:4)2016
一致化问题的Borel-分段连续可约性第条

作者:Takayuki KiharaORCID公司

    我们研究了Borel分段连续函数的精细层次,特别是在封闭分段连续性和$G_\delta$-分段之间连续性。我们的目的是了解优先级参数在可计算性中的作用理论与$G_\delta$-分段连续性的概念相联系,然后我们利用这个连接来获得以下子类的分离结果$G_\delta$-上均匀化问题的分段连续约简具有紧致图的集值函数。此方法也适用于在Weihrauch晶格中分离各种非构造原理。


    资料来源:arXiv.org/1608.03269
    第12卷第4期
    发布日期:2017年4月27日
    受理日期:2016年10月18日
    提交日期:2016年3月19日
    关键词:数学-逻辑、计算机科学-计算机科学中的逻辑

    咨询统计

    这个页面已经被浏览了1380次。
    本文的PDF已下载824次。