Article View: fj.sci.math
Article #185Re: Q in intutionistic math.
From: ryu
Date: Fri, 06 Nov 1992 04:01
Date: Fri, 06 Nov 1992 04:01
23 lines
1944 bytes
1944 bytes
$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
In article <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
|$@>.NSAo(J@$@N6C+Bg3X$H?=$7$^$9!#@lLg$O(J($@B>$N$3$H$b$d$C$F$^$9$,<g$K(J)
|$@D>4Q<g5AO@M}!&9=@.(J$@E*?t3X$H$=$N1~MQ(J($@FC$K7W;;5!2J3X$X$N1~MQ(J)$@$G(J
|$@$9!#$"$^$j$K5DO@$,:.Mp$7$F$$$k$h$&$J$N$G!"@lLg2H$NN)>l$+(J$@$i0l(J
|$@8@8@$o$J$/$F$O$$$1$J$$$H;W$$!"=P$F$-$^$7$?!#(J
$@$"$j$,$H$&$4$6$$$^$9!#!J$^$?$b$d!K$*<j?t$r$*$+$1(J$@$7$^$9!#(J
|$@$7$+$7!"Cm0U$7$J$1$l$P$J$i$J$$$N$O!"(J{0,1} $@$NItJ,=89g(J X $@$,G$(J
|$@0U$KM?$($i$l$?$H$-!"(JX $@$,>e$N(J4$@$D$N=89g$N$I$l$H$bEy$7$/$J$$$H(J
|$@$9$k$HL7=b$9$k$o$1$G$9$,!"$@$+$i$H$$$C$F!"(J4$@$D$N$&$A$N$I$l$+(J
|$@$KEy$7(J$@$$!"$H$O8@$($J$$$3$H$G$9!#!V$I$l$+$KEy$7$$!W$H8@$($k$?(J
|$@$a$K$O!"6qBNE*$K$I$l$KEy$7$$$N$+$rH=Dj$7$F$_(J$@$;$k<jCJ(J($@<jB3$-(J)
|$@$r;}$C$F$$$J$1$l$P$$$1$^$;$s!#$7$+$7!"$=$N$h$&$J<jB3$-$,$"$j(J
|$@$=$&$K$J$$$3$H$O$o$+(J$@$k$G$7$g$&!#(J
$@CfN,(J
|$@$*$o$+$j$$$?$@$1$^$7$?$+(J?
$@$=$&$9$k$H%i%F%#%9$N1i;;$,!"6qBNE*$K!J<jB3$-$H$7$F!KM?(J$@$($i$l$F$$$J$$%i(J
$@%F%#%9!"$J$s$F$$$&$3$H$J$s$G$7$g$&$+!"(J{0,1} $@$O!)(J
Technical Details
Message-ID:
<RYU.92Nov6130140@sysipi.sys.titech.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryuReferences:
<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu From: ryu@sys.titech.ac.jp (ryu) Subject: Re: Q in intutionistic math. In-Reply-To: satoshi@whale.ryukoku.ac.jp's message of 5 Nov 92 08:03:59 GMT Message-ID: <RYU.92Nov6130140@sysipi.sys.titech.ac.jp> Sender: news@sys.titech.ac.jp Organization: Tokyo Institute of Technology, Yokohama, Japan. References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> Date: Fri, 6 Nov 1992 04:01:40 GMT Lines: 25