Re: Q in intuitionistic math.

Article View: fj.sci.math

Article #14343

#14343

From: ryu
Date: Sat, 05 Dec 1992 23:23

11 lines
1340 bytes

$@8@MU;H$$$NIT@53N$J3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
$@<+8J%U%)%m!<!#(J

In article <RYU.92Dec5104454@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 |$@$3$l$O0l$D$N%/(J$@%j%W%-%;%^%s%F%#%C%/$G40A4!"$J$I$H$$$&$3$H$G$O$J$/$F!"%/(J
 |$@%j%W%-%;%^%s%F%#%C%/$9$Y$F$K$h$kN`$G40A4!"(J$@$F$3$H$G$9$M!#(J

$@$3$3$G$O!V%/%j%W%-%;%^%s%F%#%C%/!W$G$O$J$/$F!V%/%j%W%-%b%G%k!W$G$9$M!#(J
$@$D$^$j!"(J
$@%/%j%W(J$@%-%b%G%k$9$Y$F$K$h$kN`$GFCD'IU$1$i$l$k!"$H$$$&$3$H$G$7$?!#(J

Technical Details

Message-ID: <RYU.92Dec6082306@sysipk.sys.titech.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu

References:

<526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <SATOSHI.92Dec2162422@whale.math.ryukoku.ac.jp> <RYU.92Dec5104454@sysipk.sys.titech.ac.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-12-05 19:28:27 PST
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 intuitionistic math.
In-Reply-To: ryu@sys.titech.ac.jp's message of Sat, 5 Dec 1992 01:44:54 GMT
Message-ID: <RYU.92Dec6082306@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
 <530@keu02.rtri.or.jp> <SATOSHI.92Dec2162422@whale.math.ryukoku.ac.jp>
 <RYU.92Dec5104454@sysipk.sys.titech.ac.jp>
Distribution: fj
Date: Sat, 5 Dec 1992 23:23:06 GMT
Lines: 11

Reply to Parent Message