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

[YOKOYAMA Keita]

$B3'MM!$(B

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

$B0J2<$NF|Dx$G%m%8%C%/%;%_%J!<$r9T$$$^$9$N$G!$(B
$B$46=L#$N$"$kJ}$O@'Hs$4;22C$/$@$5$$!%(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#4!'#4#0!A#1#5!'#2#0(B
  $BHu8}9,<#{z!JElKLBg3XM}3X8&5f2J!K(B
  $B%?%$%H%k!'(BOn the degree structures of co-c.e. classes
$B#1#5!'#3#0!A(B
  $B5FCS@?!J?@8MBg3X%7%9%F%`>pJs3X8&5f2J!K(B
  $B%?%$%H%k!'(BYablo $B$N5UM}$N7A<02=$HIT40A4 at -DjM}(B

$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