Article View: fj.sci.math
Article #202Re: Q in intutionistic math.
From: ryu
Date: Mon, 09 Nov 1992 22:27
Date: Mon, 09 Nov 1992 22:27
23 lines
1927 bytes
1927 bytes
$@$J$<:G=i$+$i(J$@$3$s$J$U$&$J<ALd$r$7$J$+$C$?$N$+H?>J$7$F$$$k3^(J
(ryu@sys.titech.ac.jp)$@$G$9!#(J
In article <RYU.92Nov9094836@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
| | | | |$@$G$b!"@P86$5$s$N@bL@$O$=$&(J$@$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J
| | | |
| | | |$@$b$A$m$s!"$=$&$$$&OC$G$O$J$$$G$9$M!#(J
| | |
| | |$@@P86$5(J$@$s$N8@$&!V%U%!%8!<$J!W$C$F$$$&$N$K$&$^$$6q9g$KA46u4V$H$J$i$J$$%*!<(J
| | |$@%W%s%;%C%H$,BP1~$7$F$?$iLLGr(J$@$+$C$?$N$K$J!"$C$F$$$&0UL#$G$9!#(J
| |
| |[a \in {x \in {0,1} | x = 0 and \phi}] $@$,A46u4V$K$b6u$K$b$J(J
| |$@$i$J$$$3$H$,$"$k!"$H$$$&0UL#$G$OBP1~$7$^$9$h!#(J
|
|$@$@$+$i$=$l$O(J V^$@&8(J $@$N2?$KBP1~$7$F$$$k$N$G$7$g(J$@$&!)(J
$@#6%Z!<%8$N2<$+$i#1#09TL\$N!VB($A!W$N1&$N<0$O!"(J{0,1} $@$NItJ,=89g$,#4$D$J(J
$@$i$P!"CM#1$r(J V^$@&8(J $@$G$H$k(J$@$h$&$K;W$($k$N$G$9$,!"$$$+$,$G$7$g$&$+!)(J
$@!t$3$l$J$i>/$7$O$^$7$J<ALd$G$7$g!)(J
$@!t$K$7$F$b2r$i$J$$$N$O!"(J$@0f>e$5$s$O$I$&$d$C$FG<F@$G$-$?$s$G$7$g!)(J
Technical Details
Message-ID:
<RYU.92Nov10072720@sysipk.sys.titech.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!yarra-glen.aaii.oz.au!msi.umn.edu!stanford.edu!sun-barr!sh.wide!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> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <SATOSHI.92Nov5173636@w <SATOSHI.92Nov7132053@whale.ryukoku.ac.jp> <RYU.92Nov9094836@sysipk.sys.titech.ac.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!yarra-glen.aaii.oz.au!msi.umn.edu!stanford.edu!sun-barr!sh.wide!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: ryu@sys.titech.ac.jp's message of Mon, 9 Nov 1992 00:48:36 GMT Message-ID: <RYU.92Nov10072720@sysipk.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> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <SATOSHI.92Nov5173636@w <SATOSHI.92Nov7132053@whale.ryukoku.ac.jp> <RYU.92Nov9094836@sysipk.sys.titech.ac.jp> Date: Mon, 9 Nov 1992 22:27:20 GMT Lines: 24