NetNews Usenet Archive 1992 #31/NN_1992_31.iso/spool/fj/sci/math/860

Internet Message Format | 1992-12-22 | 4.1 KB

Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!rinsgw!rins!satoshi
From: [e-mail] (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Message-ID: <[e-mail]>
Date: 22 Dec 92 08:40:11 GMT
References: <[e-mail]>
    <[e-mail]>
    <[e-mail]>
    <[e-mail]>
Sender: [e-mail]
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
Lines: 69
In-reply-to: [e-mail]'s message of 21 Dec 92 16:40:28 GMT

$@>.NS(J@$@N6C+Bg3X$G$9!#(J

In article <[e-mail]> [e-mail] (Hiroyuki Miyoshi) writes:

 |$@7DXfBg3X$N;09%$G$9!%(J
 |$@G/Kv$GK;$7(J$@$$$N$G$D$$=P$F$-$F$7$^$$$^$7$?!%(J

:-)

 | >topos$@$NDj5A$N:]$K=P$F$/$k(JUnivers$@$N8xM}$O!"8xM}O@E*$K$O$I$&(J$@$$$&(J
 | >$@0LCV$E$1$K$"$k$N$G$7$g$&$+!)(J
 | >$@$:$C$H5$$K$J$C$F$$$?$N$G$9$1$l$I!"!VL5L7=b@-!W$H$+$OK\Ev$KJ](J$@>Z$5$l$F(J
 | >$@$$$k$N$G$7$g$&$+!)(J
 |
 |$@$"$l$O(JZFC$@$r1[$($F(Jinaccessible cardinal$@$N(Jproper class$@$NB8:_$r2>Dj(J$@$7$F$$(J

inaccessible cardinal$@$N(Jproper class $@$H$$$&8@$$J}$OJQ$J$N$G$O$J$$$G$9$+(J?
inaccessible cardinal $@$O(J set $@$N$O$:$G$9$1$I!#$b$N$9$4$/Bg$-$J(J *set* $@$,(J
$@B8:_$9$k!"$H$$$&;v$,=EMW$J$o$1$G$9$+$i!#(J

# inaccessible cardinal $@$N8xM}$,$I$s$J$b$N$+!"CN$j$?$$?M!"$$$^$9(J? $@$$$?(J
# $@$i=q$$$F$b$$$$$N$G$9$,!#(J

 |$@$^$9!%$7$+(J$@$73HD%$H$7$F$O%^%$%k%I$J$b$N$N$h$&$G!$5U$K$=$N$?$a$K(JFrance$@$G(J

$@5pBg4p?t$N8xM}$H8F$P$l$k$h$&$J0lO"$N8xM}(J$@$NCf$G$O:G$b%^%$%k%I$J$b$N$G$9(J
$@$M!#=89gO@$r$d$C$F$$$k?MC#$NFb$N$+$J$jB?$/$N?M$O!"(Jinaccessible
cardinal $@$NB8:_$/$i$$$OG'$a$F$b$$$$$s$8$c$J$$$+!"$H9M$($F$$$k$h$&$K;W(J
$@$$$^$9!#3d$H<+A3$J8xM}$G$9$+$i!#(J

 |$@$O(Jinaccessible cardinal$@$,%]%T%e%i!<$K$J$C$?$H$$$&$3$H$G$9!%$3$l$r4^$`(J

$@$X$(!<!"$=$&$$$&$$$-$5$D$OCN$j$^(J$@$;$s$G$7$?!#(J

 |$@M}O@$N!JAjBPE*!KL5L7=b@-$K$D$$$F$N5DO@$O>\$7$$J}$K$*G$$;$9$k$H$7$F(J
 |$@!J(JZFC$@$,L5L7=b$G$"(J$@$l$P(JCon(ZFC) -> Con(ZFC+inacessible cardinal$@$NB8:_(J)$@$,(J
 |$@M-8B$K$O8@$($J$$$3$H$OIT40A4@-DjM}$+$i=P$F$-$^(J$@$9!K!$$3$NJU$j$N7wO@$H=8(J

$@$($(!"(Jinaccessible cardinal $@$,$"$k$H!"(JZFC $@$N%b%G%k$,:n$l$F$7$^$$$^$9$+(J
$@$i$M(J$@!#(J

$@$=$l$K$7$F$b!"Be?t4v2?$N$h$&$JIaDL$N?t3X$N$?$a$K!"K\Ev$K$=$s$J$KBg$-$J(J
universe $@$,I,MW$J$N$+$J$"(J$@!#$b$C$H>.$5$$$N$G==J,$8$c$J$$$+!"$H$$$&5$$,(J
$@$9$k$1$l$I!#(J

$@;d$O!"Be?t4v2?$OCN$i$J$$$7!"(JSGA4 $@$bFI$s$@$3(J$@$H$,$J$/!"%0%m%?%s%G%#%C%/(J
$@$N(J universe $@$O!":XF#@5I'@h@8$NK\(J($@$[$s$H$O!V$5$$!W$N;z$O$b$C$HFq$7$$;z(J
$@$_$?(J$@$$$G$9$,(J)$@!VD6@Q$HD6=`2r@O!W$N:G=i$N$[$&$G?($l$i$l$F$$$?$N$G$A$g$C(J
$@$H8+$?$3$H$,$"$k$@$1$J$N$G$9$,!"$3$N(J$@K\$NDj5A$K$h$l$P!"%0%m%?%s%G%#%C%/(J
$@$N(J universe $@$N8xM}$O!"$3$NK\$GD6=`2r@O$rE83+$9$k$N$KMQ$$$F$$$k(J
universe $@$N8xM}$h$j$b$:$C$H6/$$$G$9$M!#$3$N<e$$$[$&$N8xM}$G$bD6=`2r@O(J
$@$NOC$r$9$k$N$KBgBN==J,$H9M$($F$3$N(J$@K\$O=q$+$l$F$$$k$N$K!#(J

U $@$,(J universe $@$K$J$k$?$a$N>r7o$H$7$F!"%0%m%?%s%G%#%C%/$N$@$H!"(JJ $@$,(J U
$@$KB0$9$k(J$@E:;z=89g$H$7$F!"(J{X_j | j in J} $@$,(J U $@$KB0$9$k=89g$+$i$J$k=89gB2(J
$@$J$i!"(JUnion_{j in J}X_i $@$b(J U $@$KB0$9$k!"(J$@$H$$$&$N$,$"$j$^$9!#$3$l$O6/$$(J
$@8xM}$@$H;W$&$N$@$1$l$I!"?t3X$G(J union $@$r9M$($k;~$O!"3F!9$N=89g(J X_i $@$O85(J$@!9(J
$@2?$+$"$k0l$D$N=89g(J X $@$NItJ,=89g$K$J$C$F$$$k$N$,IaDL$@$+$i!"(Junion $@$r:n$C(J
$@$F$b$"$^$jBg$-$J=89g$O=P$F(J$@$3$J$$$H;W$&$s$G$9$,!#(J

$@$"$H!"2>$KBg$-$J(J universe $@$,K\Ev$KI,MW$J$N$@$H$7$F$b!"$=$l$,(J set $@$K$J(J
$@$i$J$1$l(J$@$P:$$k$s$G$7$g$&$+!#$D$^$j!"(Juniverse $@$O%0%m%?%s%G%#%C%/$,9M$((J
$@$?$h$&$JL\E*$N$?$a$K$O(J proper class $@$8$c(J$@$J$/$F(J set $@$K$J$i$J$$$H$$$1$J(J
$@$$$s$G$7$g$&$+$M$(!#(J
--
            $@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
            [e-mail]
            0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
            0775-43-7524(FAX)