Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics)

IR (HANDLE) Open Access
  • Kuroda, Satoru
    Department of Liberal Arts, Gunma Prefectural Women's University

Search this article

Description

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.

Journal

  • RIMS Kokyuroku

    RIMS Kokyuroku 2150 41-55, 2020-04

    京都大学数理解析研究所

Details 詳細情報について

  • CRID
    1050848650309322496
  • NII Book ID
    AN00061013
  • ISSN
    18802818
  • HANDLE
    2433/255055
  • Text Lang
    en
  • Article Type
    departmental bulletin paper
  • Data Source
    • IRDB

Report a problem

Back to top