Collection home page

Foundation of Mathematics   13
(http://hdl.handle.net/2433/101139)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13
BibliographyContents
表紙・目次
   (1979-09)
  数理解析研究所講究録, 362
file type icon
Heyting Valued Set Theory (数学基礎論)
  竹内, 外史, 千谷, 慧子 (1979-09)
  数理解析研究所講究録, 362: 1-24
file type icon
An Affirmative Answer of a Joyal's Problem (数学基礎論)
  安本, 雅洋 (1979-09)
  数理解析研究所講究録, 362: 25-29
file type icon
数学言語の生成文法的構造 (数学基礎論)
  近藤, 基吉 (1979-09)
  数理解析研究所講究録, 362: 30-50
file type icon
Generalized Recursion Theoryについて (数学基礎論)
  柘植, 利之 (1979-09)
  数理解析研究所講究録, 362: 51-74
file type icon
集合論$Z_y$のToposへのInterpretation (数学基礎論)
  倉田, 令二朗 (1979-09)
  数理解析研究所講究録, 362: 75-91
file type icon
Sheaves Over cHa and the Heyting Valued Model $V^{(H)}$ (数学基礎論)
  下田, 守 (1979-09)
  数理解析研究所講究録, 362: 92-105
file type icon
一意性条件の存在条件による近似理論 (数学基礎論)
  本橋, 信義 (1979-09)
  数理解析研究所講究録, 362: 106-113
file type icon
正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論)
  角田, 譲 (1979-09)
  数理解析研究所講究録, 362: 114-123
file type icon
Paris-Harringtonの結果について (数学基礎論)
  大浜, 茂生 (1979-09)
  数理解析研究所講究録, 362: 124-135
file type icon
Silver Machineについて (数学基礎論)
  竹内, 外史, 篠田, 寿一 (1979-09)
  数理解析研究所講究録, 362: 136-156
file type icon
Sheaf of Structuresにより保存されるSentenceについて (数学基礎論)
  廣瀬, 健, 高橋, 真 (1979-09)
  数理解析研究所講究録, 362: 157-165
file type icon
Boolean Valued Combinatorics (数学基礎論)
  難波, 完爾 (1979-09)
  数理解析研究所講究録, 362: 166-185
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13