Resource-bounded Forcing Theorem and Randomness
Toshio Suzuki, Masahiro Kumabe · 2014
Forcing Complexity Non-Existence Existence Main Theorem Summary References Appendix Resource-bounded Forcing Theorem and Randomness Toshio Suzuki1∗ and Masahiro Kumabe2 1Tokyo Metropolitan University, toshio-suzuki•tmu.ac.jp 2The Open University of Japan, kumabe•ouj.ac.jp (•=atmark) CTFM 2014, Tokyo Institute of Technology