,K 一『σ o に
数理解析研究所講究録 644
数学基礎論およびその応用
禁帯出期間
1pt 4e 8
数厨馨書室
京都大学数理解析研究所
1988 年 2 月
7 そ昏 6
i
数学基礎理論及びその応用 研究集会報告集
京都大学
89011820
図 書
数理解析研究所
1987年8月3日{}8˜ 月6日 研究代表者 篠田 寿一(Juichi Shinoda¿
目 次
1. Combina tor i cs on PJ,, R 一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一 1
福島高専 阿部 吉弘(Yoshihiro Abe)
2. Z. Collec ti on and
}laximal Se ts 一一 一一一一 一一 一一一一一 一一 一一一一 一一 一一一一一一一一一一一一一一 一一 一一一 一一 一 一一 一一 一一一一 4
National Univ. of Singapore C.T.Chong
3. Cardinality restrictions of preradicals (To appear in the proceedings of the Perth conference at Aus trailia in 1987 )一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一16
筑波:大・数学 江田 勝哉(Katsuya Eda)
4.Grzegorczyk h ierarchyについて一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一24 名大・理 波多野祥二(Shoji Hatano)
5. A no te on Schmidt s built-up sys tems of fundamen tal sequences一一一一一一一一一一一一一30
広大・工 角田 法也(Noriya Kadota) 九大・理 青山 究(Kiwamu Aoyama) 6. Re lative Recurs i ve Enumerability of Gener i c Degrees Ded i ca ted to
Vic tor De Saba ta一一一一一 一一 一一一一 一一 一一一一一一一一 一一 一 一一 一一一一一一一一一一一一一一一一一一 一一 一一一一 一一 一一 一一 一一一一一一 一一 一44
早大・理工 隈部 正博(Masahiro Kumabe)
7.FMS-Principleのある拡張一一………一一一…………一一…一一…一…一一65
河合文教研 倉田 令二朗(Reijiro Kurata)
■一二
8.Markov s principle
つきの
Constructive set theoryについて一一一一一一一一一一一
74 名大・理 久馬栄道(Eido Kyuma)9. On the Theory of the Polynomial Degrees of the Recurs i ve Se ts一一一一一一一一一一一一一90
名大・教養 篠田 寿一(Juichi Shinoda) Ch i cago Un iv. Theodore A. Slaman
lO. A)一stable groups and CZ-groups一一一一一一一一一一一一一一一一一一一一一一一一一一一 一一一一一一一一一一一一一一146 神大・自然科学 田中克己(Katsumi Tanaka)
11.Supers table
な環と結合律………一………一………一一………一一……157
筑波大・数学 坪井 明人(Akito Tsuboi)
ii一