Re: Q in intuitionistic math.

Article View: fj.sci.math

Article #14347

#14347

From: Satoshi Kobayashi
Date: Mon, 07 Dec 1992 10:09

21 lines
1823 bytes

$@>.NS(J@$@N6C+(J$@Bg3X$G$9!#(J

In article <RYU.92Dec6082306@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@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%W%-%;%^%s%F%#%C%/$G(J$@40A4!"$J$I$H$$$&$3$H$G$O$J$/$F!"%/(J
 | |$@%j%W%-%;%^%s%F%#%C%/$9$Y$F$K$h$kN`$G40A4!"$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%-%b%G%k$9$Y(J$@$F$K$h$kN`$GFCD'IU$1$i$l$k!"$H$$$&$3$H$G$7$?!#(J

$@$=$NDL$j$G$9!#0l$D$@$1$G$O$J$/$F!"$9$Y$F$N2r<a$r9M$($J(J$@$1$l$P$J$j$^$;$s!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)

Technical Details

Message-ID: <SATOSHI.92Dec7190914@whale.math.ryukoku.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-snd-ss2!akiu!hakata!kudpc!kuis!wnoc-kyo!rinsgw!rins!satoshi

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> <RYU.92Dec6082306@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-07 02:29:59 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-snd-ss2!akiu!hakata!kudpc!kuis!wnoc-kyo!rinsgw!rins!satoshi
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intuitionistic math.
Message-ID: <SATOSHI.92Dec7190914@whale.math.ryukoku.ac.jp>
Date: 7 Dec 92 10:09:14 GMT
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>
 <RYU.92Dec6082306@sysipk.sys.titech.ac.jp>
Sender: news@rins.ryukoku.ac.jp
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
Lines: 21
In-reply-to: ryu@sys.titech.ac.jp's message of 5 Dec 92 23:23:06 GMT

Reply to Parent Message