No.1360
実数の集合論と計算論
Set Theory and Computability Theory of the Reals
研究集会報告集
 
2003/10/28〜2003/10/30
藤田 博司
Hiroshi Fujita
 
目 次
 
1. Generic拡大における射影集合の規則性に関連したいくつかの問題 (実数の集合論と計算論)------------------------------------------------1
    愛媛大学理学部   藤田 博司 (Fujita, Hiroshi)
 
2. 実数値パラメータを含むある計算論におけるdegreeについて (実数の集合論と計算論)-----------------------------------------------------5
    豊田工業高等専門学校   米澤 佳己 (Yonezawa, Yoshimi)
 
3. Nonsplitting subset of $P_{\kappa}\lambda$ (Set Theory and Computability Theory of the Reals)-------------------------------------9
    名古屋大学情報科学研究科   薄葉 季路 (Usuba, Toshimichi)
 
4. GENERALIZED PRIKRY FORCING AND ITERATION OF GENERIC ULTRAPOWERS (Set Theory and Computability Theory of the Reals)---------------24
    名古屋大学人間情報学研究科   酒井 拓史 (Sakai, Hiroshi)
 
5. 順序数の積空間における弱い正規性について (実数の集合論と計算論)------------------------------------------------------------------43
    筑波大学数学研究科   平田 康史 (Hirata, Yasushi)
 
6. Localization forcing and Hechler's theorem for the null ideal (Set Theory and Computability Theory of the Reals)-----------------57
    北見工業大学   嘉田 勝 (Kada, Masaru)
 
7. There is an independent splitting family (Set Theory and Computability Theory of the Reals)--------------------------------------81
    神戸大学自然科学研究科   Brendle, Jorg
 
8. An application of proper forcings with models as side conditions (Set Theory and Computability Theory of the Reals)--------------88
    神戸大学自然科学研究科   依岡 輝幸 (Yorioka, Teruyuki)