摘要

在本文中,我们继续从Frittaion、Steila和Yokoyama(2017年,计算模型的理论和应用,第14届年会,瑞士伯尔尼,2017年4月20日至22日)开始,在逆向数学的背景下研究尺寸变换终止(SCT)。我们分析了SCT方法的可靠性。特别地,我们证明了“满足SCT准则提供的组合条件的任何程序都是终止的”这句话等价于WO(ω)超过区域协调机构0.

本文根据牛津大学出版社标准期刊出版模式的条款出版和发行(https://academic.oup.com/journals/pages/open_access/funder_policies/chorus/standard_publication_model)
您当前没有访问此文章的权限。