No.86

1969/09/24〜1969/09/27

柘植　利之

TSUGE,TOSHIYUKI

目　次

1. Diophantine PredicateのRecursive Degreeについて (Proof theoryとRecursion theory研究会報告集)--------------------------------------1

　　　　東京教育大学理学部　　　広瀬 健　(HIROSE,KEN)

　

2. Generalized Recursion Theory (Proof theoryとRecursion theory研究会報告集)--------------------------------------------------------13

　　　　立教大学理学部　　　高橋 元男　(TAKAHASHI,MOTOO)

　

3. Selivanowskiの定理について (Proof theoryとRecursion theory研究会報告集)----------------------------------------------------------27

　　　　法政大学工学部　　　田中 尚夫　(TANAKA,HISAO)

　

4. Metarecursion TheoryにおけるSacksの問題について (Proof theoryとRecursion theory研究会報告集)-------------------------------------41

　　　　明治大学工学部　　　大橋 健八郎　(OHASHI,KENPACHIRO)

　

5. Constructive Infinitely Long ExpressionsをもったLogicのHierarchy (Proof theoryとRecursion theory研究会報告集)--------------------52

　　　　九州大学理学部　　　上江州 忠弘　(UESU,TADAHIRO)

　

6. MontagueのHierarchyと順序数上のRecursive Functionについて (Proof theoryとRecursion theory研究会報告集)---------------------------63

　　　　東京教育大学理学部　　　福山 克　(FUKUYAMA,MASARU)