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
名古屋大学 藤田 博司