コレクションホームページ
0362 数学基礎論
13
0362 数学基礎論
13
(http://hdl.handle.net/2433/101139)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 13 / 13
書誌情報 | ファイル |
---|---|
表紙・目次 (1979-09) 数理解析研究所講究録, 362 | |
Heyting Valued Set Theory (数学基礎論) 竹内, 外史; 千谷, 慧子 (1979-09) 数理解析研究所講究録, 362: 1-24 | |
An Affirmative Answer of a Joyal's Problem (数学基礎論) 安本, 雅洋 (1979-09) 数理解析研究所講究録, 362: 25-29 | |
数学言語の生成文法的構造 (数学基礎論) 近藤, 基吉 (1979-09) 数理解析研究所講究録, 362: 30-50 | |
Generalized Recursion Theoryについて (数学基礎論) 柘植, 利之 (1979-09) 数理解析研究所講究録, 362: 51-74 | |
集合論$Z_y$のToposへのInterpretation (数学基礎論) 倉田, 令二朗 (1979-09) 数理解析研究所講究録, 362: 75-91 | |
Sheaves Over cHa and the Heyting Valued Model $V^{(H)}$ (数学基礎論) 下田, 守 (1979-09) 数理解析研究所講究録, 362: 92-105 | |
一意性条件の存在条件による近似理論 (数学基礎論) 本橋, 信義 (1979-09) 数理解析研究所講究録, 362: 106-113 | |
正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論) 角田, 譲 (1979-09) 数理解析研究所講究録, 362: 114-123 | |
Paris-Harringtonの結果について (数学基礎論) 大浜, 茂生 (1979-09) 数理解析研究所講究録, 362: 124-135 | |
Silver Machineについて (数学基礎論) 竹内, 外史; 篠田, 寿一 (1979-09) 数理解析研究所講究録, 362: 136-156 | |
Sheaf of Structuresにより保存されるSentenceについて (数学基礎論) 廣瀬, 健; 高橋, 真 (1979-09) 数理解析研究所講究録, 362: 157-165 | |
Boolean Valued Combinatorics (数学基礎論) 難波, 完爾 (1979-09) 数理解析研究所講究録, 362: 166-185 |
文献一覧(目次の昇順ソート): 1 - 13 / 13