home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: fj.sci.math
- Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!sfc-keio-news!mail3.sfc.keio.ac.jp!miyoshi
- From: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi)
- Subject: Re: Topos (Re: Q in int. math.)
- In-Reply-To: katsura@john.hamaint.snet.or.jp's message of 19 Dec 92 11:16:19 GMT
- Message-ID: <MIYOSHI.92Dec22014028@gala.slab.sfc.keio.ac.jp>
- Sender: news@sfc.keio.ac.jp
- Nntp-Posting-Host: gala.slab.sfc.keio.ac.jp
- Organization: Saito Lab., Keio Univ. Fujisawa, Japan
- References: <544@keu02.rtri.or.jp>
- <KUROKI.92Dec19063911@tsuru.math.tohoku.ac.jp>
- <162@john.hamaint.snet.or.jp>
- Distribution: fj
- Date: Mon, 21 Dec 1992 16:40:28 GMT
- Lines: 28
-
-
- $B7DXfBg3X$N;09%$G$9!%(J
- $BG/Kv$GK;$7$$$N$G$D$$=P$F$-$F$7$^$$$^$7$?!%(J
-
- In article <162@john.hamaint.snet.or.jp>
- katsura@john.hamaint.snet.or.jp (John Eiji Katsura) writes:
- >topos$B$NDj5A$N:]$K=P$F$/$k(JUnivers$B$N(J$B8xM}$O!"8xM}O@E*$K$O$I$&$$$&(J
- >$B0LCV$E$1$K$"$k$N$G$7$g$&$+!)(J
- >$B$:$C$H5$$K$J$C$F$$$?$N$G$9$1$l$I!"!VL5L7(J$B=b@-!W$H$+$OK\Ev$KJ]>Z$5$l$F(J
- >$B$$$k$N$G$7$g$&$+!)(J
-
- $B$"$l$O(JZFC$B$r1[$($F(Jinaccessible cardinal$B$N(Jproper class$B$NB8:_$r2>Dj$7$F$$(J
- $B$^$9!%$7$+$73HD%$H$7$F$O%^%$%k%I$J$b$N$N$h$&$G!$5U$K$=$N$?$a$K(JFrance$B$G(J
- $B$O(Jinaccessible cardinal$B$,%]%T%e%i!<$K$J$C$?$H$$$&$3$H$G$9!%$3$l$r4^$`(J
- $BM}O@$N!JAjBPE*!KL5L7=b@-$K$D$$$F$N5DO@$O(J$B>\$7$$J}$K$*G$$;$9$k$H$7$F(J
- $B!J(JZFC$B$,L5L7=b$G$"$l$P(JCon(ZFC) -> Con(ZFC+inacessible cardinal$B$NB8:_(J)$B$,(J
- $BM-8B(J$B$K$O8@$($J$$$3$H$OIT40A4@-DjM}$+$i=P$F$-$^$9!K!$$3$NJU$j$N7wO@$H=8(J
- $B9gO@$N4X78$K$D$$$F$O(J
-
- A. Blass
- The interaction between category theory and set theroy
- In: J. W. Gray ed., Mathematical Applications of Category Theory,
- Contemporary Mathematics, Vol 30, p.5--29, 1984
-
- $B$G8+$k$3$H$,$G$-$^$9!%(J
-
- $B;09%GnG7(J
- miyoshi@slab.sfc.keio.ac.jp
-