このアイテムのアクセス数: 112
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| 2150-04.pdf | 7.46 MB | Adobe PDF | 見る/開く |
| タイトル: | Forcing on three sort bounded arithmetic and related theories (Proof theory and related topics) |
| 著者: | Kuroda, Satoru |
| 著者名の別形: | 黒田, 覚 |
| 発行日: | Apr-2020 |
| 出版者: | 京都大学数理解析研究所 |
| 誌名: | 数理解析研究所講究録 |
| 巻: | 2150 |
| 開始ページ: | 41 |
| 終了ページ: | 55 |
| 抄録: | 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. |
| URI: | http://hdl.handle.net/2433/255055 |
| 出現コレクション: | 2150 証明論とその周辺 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。