Article View: fj.sci.math
Article #14309Re: Q in intuitionistic math.
From: Gen Kuroki
Date: Sat, 28 Nov 1992 05:27
Date: Sat, 28 Nov 1992 05:27
39 lines
3006 bytes
3006 bytes
$@ElKLBg3XM}3XIt?t3X65<<$N9uLZ$H?=$7$^$9!#(J
$@!t$X$N%U%)%m!<$J$N$G!"D>4Q<g5A=89gO@$NOC$+$i$O(J$@>/$7N%$l$F$7$^$$$^$9!#(J
In article <544@keu02.rtri.or.jp>
r2230@L8221C.rtri.or.jp (Shingo Matsumoto) writes:
|$@!t$A$J$_$K!"C]Fb@h@8$,$3$N$h$&$J%9%?%$%k$GD>4Q<g5A=89gO@$rD4$Y$?GX7J$K$O(J
|$@!t&8$,0LAj6u4V!J(J$@$H$/$KB?MMBN!K$N3+=89g$N=89g$H$7$?$H$-$N!"4v2?3X$NDjM}$H(J
|$@!t$N4X$o$j$K$D$$$FD4$Y$F$_$?$$$H$$$&$3$H$,(J$@$"$C$?$i$7$$!#AX$H$+%H%]%9$H$+(J
|$@!t$H$$$&$N$O!"Be?t4v2?$G$b!"=P$F$/$k%O%J%7$N$h$&$@!#(J
$@$=$&$=$&!"AX$d(J$@%H%]%9$OBe?t4v2?$G$O:G$bIaDL$NBP>]$G$9!#$?$@(J
$@$7!"Be?t4v2?(J*$@$G$b(J*$@$H$$$&$h$j$O!"Be?t4v2?$NLdBj$r2r$/$?$a(J$@$K(J
$@AX$d%H%]%9$NM}O@$,(J($@FC$K(J Grothendieck $@$?$A$K$h$C$F(J)$@@0Hw$5$l(J
$@$?$H$$$&J}$,@5$7$$$H;W$$$^$9!#Nc$($P!"(JSGA 4 $@$K$*$$$F!"%H%](J
$@%9$H$=$N>e$N%3%[%b%m%8!<O@$,Be?t4v2?$X$N1~MQ$r8+9~$s$G@0Hw(J
$@$5$l$F$$$^$9!#Nr;KE*$K(J$@$O!"(JWeil $@M=A[$r2r$/$?$a$K$O!"0LAj4v2?(J
$@3X$K$*$1$k%3%[%b%m%8!<$NM}O@$rDL>o$N0LAj35G0$h$j$b0lHLE*$J(J
Grothendieck $@0LAj$^$G3HD%$7$J$1$l$P$J$i$J$+$C$?$N$G$9!#$=$N(J
$@<~JU$NOC$O:#@$5*$N?t3X$NCf$G$bFC$KLLGr$$ItJ,(J$@$@$H;W$$$^$9$,!"(J
$@$A$c$s$HM}2r$9$k$N$OBgJQ$G$9$M!#(J
$@?'!9$J@lLgMQ8l$,=P$F$-$F?=$7Lu$"$j$^$;$s!#MQ8l$N>\(J$@$7$$@bL@(J
$@$O?t3X<-E5$J$I$r8+$F$/$@$5$$!#FC$K?t3X%U%!%s$r<+3P$5$l$F$$(J
$@$kJ}$O(J Weil $@M=A[$K$D$$$FD4$Y$F$_$k(J$@$3$H$r$*$9$9$a$7$^$9!#$d(J
$@$5$7$$2r@b$,0J2<$NK\$NBh(J1$@4,$K$"$j$^$9(J:
$@5W2oF;O/(J: $@%I%/%H%k(J $@%/!<%,!<(J $@$N?t(J$@3X65<<(J (1,2)
$@F|K\I>O@<R(J, 1,2$@4,$H$b$K(J3400$@1_(J, 1992
$@OC$O$I$s$I$sC&@~$7$F$7$^$$$^$9$,!":4F#(J$@M=A[$K4XO"$9$k?tCM7W(J
$@;;$O$d$m$&$H;W$($P@lLg2H$8$c$J$/$F$b!"?'!93Z$7$a$k$H;W$&$N(J
$@$G$9$,C/$+$d$i$J$$$+$J(J$@!)8D?t$r?t$($F%0%i%U$K$9$k$@$1$J$s$@(J
$@$1$I!#(J($@:4F#M=A[$K$D$$$F$N2r@b$b!">e$NK\$NCf$K$"$j$^$9!#2K$,(J
$@$"$l(J$@$P;d$,2r@b$7$F!"7W;;5!$KF@0U$J?M$K9bB.$G;H$$0W$$%W%m%0(J
$@%i%`$r=q$$$F$b$i$($?$i3Z$7$$$J$H;W$C$F$$$k$N$G(J$@$9$,!#(J($@<+J,$G(J
$@=q$$$F$bNI$$$1$I!"$=$&$9$k$H99$K2K$,!&!&!&(J ^^;))
--
$@9uLZ8<!wElKLBg3XM}3XIt?t3X65<<(J
Technical Details
Message-ID:
<KUROKI.92Nov28142737@tsuru.math.tohoku.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-snd-ss2!akiu!akiu!kurokiReferences:
<526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp> <544@keu02.rtri.or.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: f4956,8af676e5bd3e6401 X-Google-Attributes: gidf4956,public X-Google-ArrivalTime: 1992-11-27 21:40:07 PST Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-snd-ss2!akiu!akiu!kuroki From: kuroki@math.tohoku.ac.jp (Gen Kuroki) Newsgroups: fj.sci.math Subject: Re: Q in intuitionistic math. Date: 28 Nov 1992 05:27:39 GMT Organization: Mathematical Institute, Tohoku University, Sendai JAPAN. Lines: 40 Distribution: fj Message-ID: <KUROKI.92Nov28142737@tsuru.math.tohoku.ac.jp> References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp> <544@keu02.rtri.or.jp> NNTP-Posting-Host: tsuru In-reply-to: r2230@L8221C.rtri.or.jp's message of 26 Nov 1992 16:19:09 JST