Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics)
Satoru Kuroda · Institutional Repositories DataBase (IRDB) · 2020
In this paper, we apply forcing method for Bounded Arithmetic which was developed by G. Takeuti and M. Yasumoto to three sort theories. As a result, we obtain generic extensions which are models of a minimal theory for PSPACE. Proofs are sketchy and full length proofs will be given in the paper which is in preparation. We also present some problems and ideas for the future research.