🚀 go-pugleaf

$@<c>>$G$9!#D{@5$ND{@5!#(J

In article <WAKAMATU.95Nov16221903@thyme.kurims.kyoto-u.ac.jp> wakamatu@kurims.kyoto-u.ac.jp (Wakamatsu Kazuhiro) writes:
 > >Equivalents of axiom of choice II,

$@C5$7$F$-$^$7$?!#$,!"$5$i$K0zMQ85$OJL$NK\$G!D(J
(Fundamenta mathematicae 1980,A note on transfinite sequences,Norman R. Howes)

 > >(Howes 1980, Vaughan 1975)
 > >$@<!$NL?Bj$OA*Br8xM}$HF1Ey$G$"$k!#(J
 > >$@!V$"$i$f$k0LAj6u4V(J X $@$KBP$7!"3FE@$N4pK\6aK57O$H$7$F(J index $@$,(J
 > >$@@0Ns=89g$G$"$j$7$+$b(J index $@$NBg>.4X78$,6aK5$NJq4^4X78$H0lCW$9(J
 > >$@$k$b$N$,B8:_$9$k!#!W(J

$@2?(J$@$+;w$?$h$&$J(Jlemma$@;H$C$F$k$s$G$9$,!"(J
$@!VG$0U$N=g=x=89g$KJL$K@0Ns=g=x$rG$0U$KF~$l$?$H$-!"(J
$@A0<T$KBP$7$F6&(J$@=*$JItJ,=89g$G!"$=$N=g=x$,8e<T$N@)8B$h$j<e$$$b$N$,B8:_$9$k!W(J
$@!JE,Ev$KI=8=$rJQ$($^$7$?!K(J
$@$3$l$,A*Br8xM}(J$@$HF1CM$i$7$$$G$9!#F,$,$^$o$i$J$$!#(J
$@!J(Jcompatible $@$C$F!V0lCW!W$8$c$J$$$i$7$$!#G$0U$N=g=x=89g$@$C$?$iL5M}(J$@$@$7!K(J

$@M-8~=89g$@$H0lCW$5$;$i$l$k$s$@$m$&$+!)(J

$@$b$&0l$DD{@5!#(Jscheme $@$C$F(JT0 $@$@$1$I(J T1 $@$8$c$J$$$G$9$M!#(J
$@$$$d$b$A$m$sCN$C$F$?$s$@$1$I!#(J

--
$@$3$N@$$K$O$M!#8=Be$N2J3X$G2rL@$G$-$k$3$H$,$?$/$5$s$"$k$s$@$h!#(J

--
$@0&$r$/$l$J$$$+(J $@M%$7$5$r$*$/$k$+$i(J