検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| An Affirmative Answer of a Joyal's Problem (数学基礎論) 安本, 雅洋 (1979-09) 数理解析研究所講究録, 362: 25-29 |  |
| Sheaves Over cHa and the Heyting Valued Model $V^{(H)}$ (数学基礎論) 下田, 守 (1979-09) 数理解析研究所講究録, 362: 92-105 | |
| Boolean Valued Combinatorics (数学基礎論) 難波, 完爾 (1979-09) 数理解析研究所講究録, 362: 166-185 | |
| Sheaf of Structuresにより保存されるSentenceについて (数学基礎論) 廣瀬, 健; 高橋, 真 (1979-09) 数理解析研究所講究録, 362: 157-165 | |
| Silver Machineについて (数学基礎論) 竹内, 外史; 篠田, 寿一 (1979-09) 数理解析研究所講究録, 362: 136-156 | |
| 正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論) 角田, 譲 (1979-09) 数理解析研究所講究録, 362: 114-123 | |
| 一意性条件の存在条件による近似理論 (数学基礎論) 本橋, 信義 (1979-09) 数理解析研究所講究録, 362: 106-113 | |
| 集合論$Z_y$のToposへのInterpretation (数学基礎論) 倉田, 令二朗 (1979-09) 数理解析研究所講究録, 362: 75-91 | |
| Paris-Harringtonの結果について (数学基礎論) 大浜, 茂生 (1979-09) 数理解析研究所講究録, 362: 124-135 | |
| Heyting Valued Set Theory (数学基礎論) 竹内, 外史; 千谷, 慧子 (1979-09) 数理解析研究所講究録, 362: 1-24 | |
絞り込み
発行日
- 13 1979
資料種別