[logic-ml] 東北大学ロジックセミナー

[YOKOYAMA Keita]

$B3'MM!$(B

$BElKLBg3X$N2#;3$G$9!%(B

$B0JA0$*EA$($7$?(B12$B7n(B17$BF|(B($B6b(B)$B$N%m%8%C%/%;%_%J!<$O!$(B
$B;v>p$K$h$j0J2<$N$h$&$KJQ99$K$J$j$^$7$?$N$G!$$*CN$i$;$$$?$7$^$9!%(B

$BF|;~!'(B12$B7n(B17$BF|(B($B6b(B)
$B>l=j!'ElKLBg3XKL at DMU;3%-%c%s%Q%9M}3XAm9gEo(B1201$B9f<<(B
$B#1#5!'#3#0!A(B
 $BHu8}9,<#{z!JElKLBg3XM}3X8&5f2J!K(B
 $B%?%$%H%k!'(BOn the degree structures of co-c.e. classes

$B%;%_%J!<$N>\:Y$K$D$-$^$7$F$O!$(B
http://www.math.tohoku.ac.jp/~y-keita/friday-seminar/friday-seminar.html
$B$r$4;2>H$/$@$5$$!%(B

$B2#;37<B@(B
--
Keita Yokoyama
Mathematical Institute, Tohoku University
Aoba, Sendai, JAPAN, 980-8578
y-keita at math.tohoku.ac.jp