home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fj / sci / math / 863 < prev    next >
Encoding:
Text File  |  1992-12-22  |  2.5 KB  |  55 lines
  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!sfc-keio-news!mail3.sfc.keio.ac.jp!miyoshi
  3. From: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi)
  4. Subject: Re: Topos (Re: Q in int. math.)
  5. In-Reply-To: satoshi@whale.math.ryukoku.ac.jp's message of 22 Dec 92 08:40:11 GMT
  6. Message-ID: <MIYOSHI.92Dec22215655@gala.slab.sfc.keio.ac.jp>
  7. Sender: news@sfc.keio.ac.jp
  8. Nntp-Posting-Host: gala.slab.sfc.keio.ac.jp
  9. Organization: Saito Lab., Keio Univ. Fujisawa, Japan
  10. References: <544@keu02.rtri.or.jp>
  11.     <KUROKI.92Dec19063911@tsuru.math.tohoku.ac.jp>
  12.     <162@john.hamaint.snet.or.jp>
  13.     <MIYOSHI.92Dec22014028@gala.slab.sfc.keio.ac.jp>
  14.     <SATOSHI.92Dec22174011@whale.math.ryukoku.ac.jp>
  15. Distribution: fj
  16. Date: Tue, 22 Dec 1992 12:56:55 GMT
  17. Lines: 36
  18.  
  19.  
  20. $B7DXfBg3X$N;09%$G$9!%(J
  21.  
  22. In article <SATOSHI.92Dec22174011@whale.math.ryukoku.ac.jp>
  23. satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
  24.  
  25.  > |$B$"$l$O(JZFC$B$r1[$($F(Jinaccessible cardinal$B$N(Jproper class$B$N(J$BB8:_$r2>Dj$7$F$$(J
  26.  >
  27.  >inaccessible cardinal$B$N(Jproper class $B$H$$$&8@$$J}$OJQ$J$N$G$O$J$$$G$9$+(J?
  28.  >inaccessible cardinal $B$O(J set $B$N$O$:$G$9$1$I!#$b$N$9$4$/Bg$-$J(J *set* $B$,(J
  29.  >$BB8:_$9$k!"$H$$$&;v$,=EMW$J$o$1$G$9(J$B$+$i!#(J
  30.  
  31. $B$9$_$^$;$s!%(Jinaccessible cardinals$B$N$J$9(Jproper class$B!$$H=q$/$Y$-$G$7$?!%(J
  32.                                  ^
  33.  >$B$=$l$K$7$F$b!"Be?t4v2?$N$h$&$JIaDL$N?t3X$N$?$a$K!"K\Ev$K$=$s$J$KBg$-$J(J 
  34.  >universe $B$,(J$BI,MW$J$N$+$J$"!#$b$C$H>.$5$$$N$G==J,$8$c$J$$$+!"$H$$$&5$$,(J
  35.  >$B$9$k$1$l$I!#(J
  36.  
  37. $BMW$O7wO@$G$N(Jsmallness$B$K2?$r(J$BBP1~$5$;$k$+$@$H;W$$$^$9!%Nc$($P!$A0$K5s$2(J
  38. $B$?J88%$K$"$j$^$9$,!$(JFeferman$B$N2r<a$K$h$j!$?t3X$N8@8l$G$N!V(J$B=89g!W$KN_@Q(J
  39. $B3,AX$N:G=i$N(J\kappa$B!J(Jinaccessible$B$H$O2>Dj$7$J$$!KCJ3,$G=P$F$/$k=89g$@$1(J
  40. $B$rBP1~$5$;$k$3$H$G(J$B!$(JZFC$B$NCf$G$b$3$&$$$C$?5DO@$,$G$-$^$9!%(J
  41.  
  42. $B7wO@E*?dO@$r9T$J$&;~$K(Jsmallness$B$O=EMW$G$9$,!$(Jfibered/indexed category
  43. $B$d(Jtopos$B$G5DO@$9$l$P8+$+$1>e$"$($FFCDj$N=89gO@$K4T85$7$J$/$F$b$=$l$J$j(J
  44. $B$N$3$H$,$G$-$^$9!%!J$H(J$B$$$C$F$bFC$K?t3X$NJ}$G$O$3$N$"$?$j$"$^$j$h$/8&5f(J
  45. $B$5$l$F$$$k$H$O$$$($J$$$h$&$G$9$,!K!%(J
  46.  
  47. $B$`$7$m!$Be?t4v(J$B2?$G$I$N$h$&$J=89g$K;}$A9~$`I,MW$,$"$k$N$+(J
  48. $B!JNc$($PB>$NJ,Ln$N7k2L$rMxMQ$7$?$j$9$k;~$K!K$K$h$k$N$G$7$g(J$B$&!%(J
  49. $BBe?t4v2?$K>\$7$$J}!$$I$&$G$7$g$&$+!)(J
  50. $B;d$OBe?t4v2?$b=89gO@$b$h$/CN$i$J$$$N$G!$(J
  51. $B7wO@!J$HO@M}!K$G5D(J$BO@$G$-$?$[$&$,5$;}$A$$$$$G$9!%(J
  52.  
  53. $B;09%GnG7(J
  54. miyoshi@slab.sfc.keio.ac.jp
  55.