🚀 go-pugleaf

In article <SATOSHI.93Mar20115742@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:

>non-well-founded sets $B$O%i%`%@7W;;$N2r<a$K$&$^$/MxMQ$G$-$k!"$H$$$&OC$O(B
>$BA0$+$i$"$k$h$&$G$9$,!">e$N$h$&$JJ}Dx<0$r(B($B$-$C$A$jN>JU$,Ey$7$/$J$k$h$&$K(B)
>$B2r$1$k!"$H$$$&OC$K$O$J$C$F$J$+$C$?$h$&$J!#(B

$B$"!"$(!<$H!"(BScott $BM}O@$K$h$k2r$G$b!"N>JU$,F17?$K$J$k$@$1$G!"!VEy$7$/!W(B
$B$O$J$i$J$$$s$G$9$h$M!#(BNWFsets $B$@$H!V2?$+$N0UL#$GF17?!W$K$9$i$J$i$J$$$s(B
$B$G$7$g$&$+!)(B $B$G$b$=$l$@$H2r$H$O$$$$Fq$$$h$&$J5$$b$9$k!#(B

$B5s$2B-$H$j$_$?$$$K;W$($?$i$4$a$s$J$5$$!#$G$bF17?$HEy$7$$$N6hJL$OBg;v$@(B
$B$H;W$&$7$$$D$b5$$K$J$k$N$G!#!J$A$g$C$HA0$K$3$3$H(B fj.ai $B$G$=$&$$$&$3$H(B
$B$N5DO@$,$"$j$^$7$?$,!#!K(B


$B$-$N$7$?(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]