🚀 go-pugleaf

$@<c>>$G$9!#0l1~6=L#$O;}$?$l$F$k$h$&$G4r$7$$!#(J

In article <SHIMURA.95Nov14231049@h1.logic.info.waseda.ac.jp> shimura@logic.info.waseda.ac.jp (SHIMURA Tatsuya[Nihon Univ.]) writes:
 > | $@$G!";d$b(J$@$o$+$i$J$C$?!#$&!<$s!"M-8~=89g$N=g=x$r3HD%$7$F(J
 > | $@@0Ns=89g$K$G$-$J$$!)(J
 > | $@>ZL@$bH?Nc$b;W$$$D$+$J$$(J$@$1$I!#(J

$@$3$l$O!"!V@0Ns=89g$O(J cofinal $@$J@0Ns=g=xItJ,=89g$r;}$D$+!)!W(J
$@$N4V0c$$$G$9!#>e$N<gD%$J$iH?Nc$O$?(J$@$/$5$s$"$k!#D{@5!#(J
$@$G!">ZL@$7$h$&$H$7$?$iFq$7$+$C$?!#(J
$@D68B5"G<K!$,$&$^$/;H$($J$$(J

 >H.Rubin, J.Rubin:
 >Equivalents of axiom of choice II,
 >North-Holland (198?) ($@$9$_$^$;$s:#H/9TG/$,@53N$K$o$+$i$J$$(J)

$@C5$7$F$_$^$9!#(J

 >(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$H0l(J$@CW$9(J
 >$@$k$b$N$,B8:_$9$k!#!W(J

$@$I$&$b!">e$N$O@.N)$9$k$h$&$G$9$M!#(J
$@!J4V0c$$$r=q$$$?$N$K!"$A$c$s$H8+$D$1$F(J$@$-$F$b$i$($k$H$O!K(J

 >$@$H$$$&$3$H$G!"$3$N$h$&$J@)8B$r$7$F$b9=$o$J$$$H$$$&A0Ds$,$=(J
 >$@$b$=$b4r$7$$$H$$$&(J$@$N$O%@%a$G$9$+(J :-)

$@:G=i$+$i4pK\6aK57O$H$7$F!">e$N0UL#$G@0Ns=89g$r$J$9$b$N$@$19M$($l$P(J
$@$$$$$h$&$J5$$,(J$@!D$7$F$7$^$C$?$s$G$9$,!D(J
$@$$$d!"$b$&$3$NOC$O=*$j$^$7$g$&!#(J

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