🚀 go-pugleaf

In article <S1941209.96Apr7124115@brahms.cc.musashi.ac.jp>
s1941209@brahms.cc.musashi.ac.jp (Hitoki Masanori) writes:

> $@1Q8l$G=q$+$l$?!"?tM}O@M}3X$N652J=q$GNI$$$b$N$r(J$@>R2p$7$FD:$1$J(J
> $@$$$G$7$g$&$+!)(J

$@?tM}O@M}3X$,=89gO@!"%b%G%kM}O@!"5"G<4X?tO@!">ZL@O@$J$I$NJ,(J
$@Ln$NAm>N$r(J$@;X$7$F$$$k$b$N$H$7$F%U%)%m!<$7$^$9!#(J
($@F|K\$G?tM}O@M}3X$H$$$&L>A0$O>e$NMQK!$N$[$+$K!">e5-$NJ,Ln$N(J
$@$R$H(J$@$D$H$7$F$N5-9fO@M}3X$r;X$9$3$H$bB?$$$N$G!#(J)

$@>/$7A0$N3{$5$s$NEj9F$K<!$N$b$N$,5s$2$i$l$F$$$^$7$?!#(J

In article <WD.96Mar19165626@hokke.e.ics.nara-wu.ac.jp> 
wd@e.ics.nara-wu.ac.jp (Hiroyasu Kamo) writes:

> $@?tM}O@M}$N=iJb$r3X$V$?$a$N652J=q$H$7$F$*4+$a$J$N$O!"(J[1]$@$N(J Part A $@$G$9!#(J
> Part B $@$K$O!"!VF~Lg=q$G(J$@$=$3$^$G$d$k$+!)!W$H;W$($kFbMF$^$GF~$C$F$$$^$9(J
> $@$N$G!":G=i$O!"6=L#$N$"$k>O$r$D$^$_?)$$$9$kDxEY$G$$$$(J$@$G$7$g$&!#$A$J$_$K!"(J
> [1]$@$O(J Undergraduate Text in Mathematics (UTM) $@$H$$$&%7%j!<%:$N0l:}$K$J$C(J
> $@$F$$(J$@$^$9$,!"K\Ev$K(J undergraduate course $@$N652J=q$H$7$F;H$&$H!"FsG/%3!<(J
> $@%9$K$J$C$A$c$&$G$7$g$&$M!#(J

>  [1] H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic Second
>     Edition, 1994, Springer-Verlag

$@B>$K8=:_$G$O@dHG$G$9$,!"<!$NK\$O0l@NA0$N%;%_%J!<$J$I$G$O$h(J
$@$/MQ$$$i$l$F$$$?$h$&$G$9!#>e5i<T$r$a$6(J$@$9=i?4<T8~$1$NK\$@$H(J
$@;W$$$^$9!#(J

J.R.Shoenfield, Mathematical Logic, Addison-Wesley (1967).

> $@=PMh$l(J$@$P!"N}=,LdBj$NB?$$$b$N$,$$$$$J$!$H;W$C$F$$$^$9!#(J

$@LdBj$O3F>OKv$K$?$/$5$s$"$j$^$9!#(J


--

      T.Shimura    e-mail:shimura@math.cst.nihon-u.ac.jp