No.728
公理的集合論と一般帰納関数論
Axiomatic Set Theory and General Recursive Function
　
1989/10/02〜1989/10/06
角田　譲
KAKUDA,YUZURU
　
目　次
　
1. Almost coinciding families and gaps in $P(\omega)$--------------------------------------------------------------------------------1
　　　　大阪府立大学総合科学部　　　加茂 静夫　(Kamo, Shizuo)
　
2. Silver Machine による Gap-1 Morass の構成(公理的集合論と一般帰納関数論)----------------------------------------------------------18
　　　　名古屋大学　　　古田 泰之　(Koda, Yasuyuki)
　
3. Strong Partition Cardinal と Spector Forcing(公理的集合論と一般帰納関数論)------------------------------------------------------104
　　　　ICOT　　　佐藤 洋祐　(Sato, Yosuke)
　
4. Treeを使うPriority Method(公理的集合論と一般帰納関数論)-------------------------------------------------------------------------115
　　　　名古屋大学　　　青木 邦匡
　
5. LARGE CARDINAL の公理と記述集合論(公理的集合論と一般帰納関数論)-----------------------------------------------------------------126
　　　　名古屋大学　　　藤田 博司