Takeuti-Yasumoto Forcing Revisited

Takeuti-Yasumoto Forcing Revisited
复制标题

重温武内安本强迫

DOI：
10.1142/9789811259296_0006
复制
发表时间：
2022
期刊：
Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics
影响因子：
--
通讯作者：
Satoru Kuroda
Satoru Kuroda
中科院分区：
--
文献类型：
--
作者：
Yoshimoto Kiyoshi;Satoru Kuroda

文献摘要

相似文献

本文发展了G。Takeuti和M.安本我们重新形式化他们的方法在两个排序设置和构造子类PTIME的通用扩展。我们还涉及分离问题的复杂性类的属性的通用扩展。
In this article, we develop the forcing method on nonstandard models of bounded arithmetic which is initiated by G. Takeuti and M. Yasumoto. We re-formalize their method in two-sort setting and construct generic extensions for subclasses PTIME. We also relate separation problems of complexity classes to properties of generic extensions.