🚀 go-pugleaf

In article <SATOSHI.93Mar20115742@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
>$B>.NSAo(B@$BN6C+Bg3X$G$9!#(B

$B$3$s$K$A$O!#(B

>$B$3$l$OLLGr$=$&$G$9$M!#9qFb$N$I$3$+$+$i(B FTP $B$G$-$J$$$N$G$7$g$&$+!#:#(B 
>archie $B$7$F$_$?=j$G$O$=$l$i$7$$$N$O$J$$$h$&$G$9$,!#(B

host:		etlport.etl.go.jp (192.31.197.99)
directory:	pub/kyocho/Papers/PostScript/Z
file name:	math_intelligencer.{dvi|ps|tex}.Z

$B$K;}$C$F$-$F$*$-$^$7$?$N$G$I$&$>!#C"$7!"$7$P$i$/$7$?$i>C$7$F$7$^$&$+$b(B
$BCN$l$^$;$s!J%U%!%$%k$N@0M}$J$I$NET9g$G$9!K$N$G8fN;>5$/$@$5$$!#(B

$B!J9q30$@$H(B ftp $B$7$K$/$+$C$?$j$9$k>l9g$b$"$k$s$G$9$+!)(B $BCN$i$J$+$C$?!#!K(B

>$B:#;W$C$?$N$G$9$1$I!"(BX = N + (X -> X) $B$_$?$$$J$N$O!"(Bnon-well-founded
>sets $B$G2r$1$^$7$?$C$1(B?  $B$?$@$7!"(BN $B$O<+A3?t$N=89g$N$D$b$j$G$9!#;d$O(B 
>Aczel $B$NK\$b<B$O$=$l$[$I$A$c$s$HFI$s$G$J$$$7!":#<j85$K$b$J$$(B($BA0$K?^=q(B
>$B4[$+$i<Z$j$F$$$?$1$l$IJV$7$F$7$^$$$^$7$?(B)$B$N$G!"$h$/$o$+$j$^$;$s$1$I!D!#(B
>classical logic $B$G9M$($F$$$k$+$iG;EY$r9M$($k$H$@$a$J$h$&$J!D!#(BScott $BM}(B
>$BO@$@$H4X?t6u4V$N0UL#$rO"B3$J4X?t$N6u4V$K@)8B$9$k$+$i(B OK $B$@$1$l$I$b!#(B

$B$\$/$O(B Aczel $B$NK\$b(B Barwise&Moss $B$NO@J8$bFI$s$G$J$$$N$G(B NWF sets $B$G$I(B
$B$&$J$N$+$O$^$C$?$/$o$+$j$^$;$s$,!"(BBarr $B$NO@J8$G$O(B $B"*(B $B$r4^$`NN0hJ}Dx<0(B
$B$O=P$F$-$F$$$^$;$s!#$G$b(B Barr $B$N8xM}$r2>Dj$7$?$i!""*$r4^$`J}Dx<0$b2r$1(B
$B$k$H;W$&$N$G!"(BBarwise&Moss $B$N$b$H$NO@J8$K$=$&$$$&$N$,$J$+$C$?$N$+$bCN(B
$B$l$^$;$s$M!#(B

>$B0lJ}!"D>4Q<g5AO@M}$K$7$F$7$^$&$H!"G;EY$NLdBj$K0z$C$+$+$i$:!"<B:]!">e$N(B
>$B$h$&$JJ}Dx<0$K2r$,$"$k$h$&$J=89gO@$N%b%G%k$,$"$k!"$H$$$&$N$O$@$s$V$sA0(B
>$B$+$iCN$i$l$F$$$k;v$@$H;W$$$^$9!#(B

$B:#N6C+$K$$$k(B Andreas $B$N(B D $BO@(B $B!J#1#9#9#0G/$K=P$?$H;W$$$^$9!K$,$=$&$$$&(B
$BOC$N$h$&$G$9$M!#$=$l$h$jA0$KCN$i$l$F$$$?$N$G$9$+!)(B

> |$B=89g$G$d$k$H!"6qBNE*$9$.$k!"(Bsets have too much structure $B$H$$$&$N$,H`(B
> |$B$N7kO@$G$9!#(B
>
>$B$(!<!"$3$NItJ,$K$b%3%a%s%H$7$?$$$N$G$9$,!":#$A$g$C$H;~4V$,$J$/$J$C$F$-(B
>$B$?$N$G!":#EY$b$7;~4V$,$"$C$?$i2?$+=q$-$^$9!#$G$O!#(B

$B3Z$7$_$K$7$F$$$^$9!#!J>.NS$5$s$N5-;v$N0&FI<T$G$9(B :-$B!K7w$G$d$k$H!"ET9g(B
$B$N$$$$$H$-$K$@$1(B element $B$r;H$C$?5DO@$,$G$-$k$+$i$$$$$s$@!"$H$$$&%3%a(B
$B%s%H$O(B Barr & Wells $B$N652J=q$K$b$"$j$^$7$?!#(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]