🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #14325

Re: Q in intuitionistic math.

#14325
From: Satoshi Kobayashi
Date: Wed, 02 Dec 1992 07:29
30 lines
1982 bytes
$@>.NS(J@$@N6C+Bg3X$G$9!#%U%)%m!<$7K:$l$,$b$&0l$D$"$C$?$N$G(J($@Ej9F$K;H$($k;~4V(J
$@$,$"$^$j$J$$$N$G$4$+$s$Y$s(J)$@!":#F|(J2$@$DL\$N!VD6CY$l%U%)%m!<!W$r$7$^$9!#(J

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

 | |>$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J
 | |
 | |$@$h$/9M$($?$i(J$@!V40A4!W$C$F!)(J
 | |V$@!0&8$O%b%G%k$@$h!#(J
 |
 |$@$($H!"40A4$H$$$&$N$O2<$NMW7o$r$_$?$9!"$H$$$&0UL#$G;H$$$^$7(J$@$?!#$o$+$j$K(J
 |$@$/$$8@MU;H$$$G$4$a$s$J$5$$!#(J
 |$@!|!V$"$k(J f $@$,$9$Y$F$N&8$KBP$7$F#1$r$H$k(J $@"M(J $@D>4Q<g5A$G>Z(J$@L@$G$-$k!W(J
 |
 |$@$^$"!"@.$jN)$DLu$J$$$G$9$M!#(J

$@@.$jN)$A$^$;$s!#(J

 |$@$G$b!"C]Fb30;K$N$$$&!VD>4Q<g5AE*=89g(J$@O@!W$H$$$&$b$N$O!|$N:8B&$rK~$?$9$h(J
 |$@$&$J%U%)!<%_%e%i$N=8$^$j$N$3$H$N$h$&$G$9!#(J
 |$@!t$@$+$i!VE*!W$C$F$+(J$@!)(J

$@C]Fb@h@8$O!VD>4Q<g5AE*=89gO@!W$H$$$&8@MU$r$b$C$HGyA3$H$7$?0UL#$G;H$C$F(J
$@$$$k$h$&$K;W$$$^$9$1$I!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3(J$@<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)
Technical Details
Message-ID: <SATOSHI.92Dec2162900@whale.math.ryukoku.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!rinsgw!rins!satoshi
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <531@keu02.rtri.or.jp> <RYU.92Nov17083440@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-01 23:50:40 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!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.92Dec2162900@whale.math.ryukoku.ac.jp>
Date: 2 Dec 92 07:29:00 GMT
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
 <531@keu02.rtri.or.jp> <RYU.92Nov17083440@sysipk.sys.titech.ac.jp>
Sender: news@rins.ryukoku.ac.jp
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
Lines: 30
In-reply-to: ryu@sys.titech.ac.jp's message of 16 Nov 92 23:34:40 GMT