🚀 go-pugleaf

$@;VB<!wF|Bg$G$9!#(J

In article <TANABE.93Feb23131246@Polaris.ai.cs.Fujitsu.Co.JP> tanabe@ai.cs.Fujitsu.Co.JP (Yoshinori TANABE) writes:

> $@EDJU(J@$@IY;NDL@n:j9)>l(J $@$H?=$7$^$9!%(J

$@$*$d$*$d$*5W$7$V$j$G$9(J$@!#(J

> $@0f>e(J> $@Nc$($PA*Br8xM}$N$b$H$G$O!"$3$N8xM}$O&EL58B9_(J
> $@0f>e(J> $@2<Ns$NHsB8:_$HF1CM$J$N$G$9$h$M!#$G$O(J$@!"$=$N$h$&$J9_2<Ns$,$"$k$H2?$+%Q%i(J
> $@0f>e(J> $@%I%C%/%9$,@8$8$k$N$G$7$g$&$+!#$3$&$$$&$b$N$,$"$k$H$$$&8xM}(J$@$OL7=b$r0z$-(J
> $@0f>e(J> $@5/$3$9$N$G$7$g$&$+!#(J
> $@!J$9$_$^$;$s!$$A$g$C$HN,$7$^$7$?!%!K(J

> $@$=$s$J$3$H$O$J$$$H(J$@;W$$$^$9!%$b$7L7=b$r0z$-5/$3$9$N$@$C$?$i$=(J
> $@$NH]Dj$,>ZL@$G$-$k$o$1$G$9$+$i$o$6$o$68xM}$H$7$F:NMQ$5$l(J$@$J$$(J
> $@$G$7$g$&!%(J
> 
> $@$?$V$s!$(J{a_n | n=0,1,.. } $@$r(J a_{n+1}$@&E(Ja_n $@$,@.$jN)$D$h$&$J$b(J
> $@$N$H$7$F!$(JL[<a_n|n=0,1,..>]$@$_$?$$$J$b$N$r9M$($l$P$3$l$O(J
> ZFC-Regularity $@$N%b%G%k$K$J$k$H;W$&$N$G$9$,!$0c$&$+$J!)(J

$@$3(J$@$l$OB?J,$=$NDL$j$G$7$g$&$M!#(J

> > $@0f>e(J>  $@$b$7$+$9$k$H5DO@$5$l?T$/$7$?$3$H$rJ9$$$F$$$k$N$+$bCN$l$J$$$N(J$@$G$9$,!"(J
> $@0f>e(J>$@$=$N;~$O$3$C$=$j65$($F2<$5$$!#(J

> $@$-$C$H$3$N<j$N5DO@$O$"$k$K0c$$$J$$$H;W$&$N$G$9$,!D!%(J$@<j85$K;q(J
> $@NA$,3'L5$J$b$N$G$o$+$j$^$;$s!%Nc$($P(J Kunen "Set Theory" $@!J$"(J
> $@$2$kK\$,$3$l$P$C$+$j$@$J$"!K(J$@$K=q$$$F$J$$$G$7$g$&$+!)(J

$@$?$H$($P!"(JKunen $@$NK\$K$b$"$C$?$H;W$$$^$9$,!"@5B'@-8xM}$O(J 
V=\bigcup V_\alpha $@$HF1CM$J$o$1$G!"$3$l$,$"$k$N$G!"=89g$r(J
$@:n$k86M}$,(J
	$@#1!K(J $@=g=x?t$N86M}(J
	$@#2!K(J $@6R=89g$N86M}(J
$@$N#2$D$G4V$K(J$@9g$&$o$1$G$9!#(J
$@@5B'@-8xM}$,8xM}E*=89gO@$G:NMQ$5$l$F$$$k$N$O$3$N#2$D$N86M}(J
$@$G:n$k$3$H$N$G$-$J$$=89g$,$"(J$@$k$H5$;}$A$,0-$$$H$$$&$N$,:GBg(J
$@$NM}M3$N$h$&$J5$$b$7$^$9!#(J

$@@5B'@-8xM}$NH]Dj$,@.N)$9$k=89gO@$K$D$$$F$N(J$@K\$,$"$j$^$9!#(J

	P. Aczel: Non-Well Founded Sets. CSLI Lecture Notes 14

$@$3$l$K$h$l$P!"&E4X78$H$7$F$"(J$@$i$f$k$b$N$,2DG=$J$h$&$G$9!#(J

--
$@F|K\Bg3XM}9)3XIt?t3X2J(J
	$@;VB<(J $@N)Lp(J
tel:03-3259-0943 e-mail:shimura@cst.nihon-u.ac.jp