🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #14348

Re: Q in intuitionistic math.

#14348
From: Satoshi Kobayashi
Date: Mon, 07 Dec 1992 10:07
31 lines
2164 bytes
$@>.NS(J@$@N6C+Bg3X$G$9!#(J

In article <552@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

 |In article <SATOSHI.92Dec2162422@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |> |> $@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LL(J$@L\$J<ALd!#(J
 |> |> $@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J
 |> |
 |> |$@40A4$@$C$?$i!"D>4Q<g5A$O$$$i$J(J$@$$$N$G$O!#(J(^^;)
 |>
 |>$@$3$3$N=j$,$A$g$C$H$R$C$+$+$k$s$G$9$,!#$3$&$$$&$U$&$K=q$+$l$k$H!"D>4Q<g(J
 |>$@5AO@(J$@M}$OIT40A4$J$b$N$@$H8@$C$F$$$k$h$&$J46$8$,$7$^$9!#(J
 |
 |$@<B$OEj9F8e$K!V%7%^%C%?!*!W$H;W$C$F!"8e2y$7$F$$(J$@$k<!Bh$G!#(J
 |$@:G=i!"%b%G%k$K$D$$$F$N40A4@-$H$O9M$($:!"(J
 |$@C1$K!"??$+56$+#2CME*$KDj$^$C$F$$$k$N$+$H$$$&<A(J$@Ld$@$H;W$C$F(J
 |$@$&$C$+$j=q$$$F$7$^$$$^$7$F!#(J

$@$=$&$$$&$3$H$G$7$?$i!"$o$+$j$^$9!#(J

 |>$@$"!"$=$l$H$b!"40A4(J$@@-DjM}$H$OA4A34X78$J$$0UL#$G40A4$H$$$&8@MU$r;H$o$l$?(J
 |>$@$N$+$7$i!#(J
 |
 |$@$3$l$O!"$b$&!V<:8@!W$H$7$+$$$$(J$@$h$&$,$J$$$J$"(J($@%*%=%^%D(J^^;)

$@$=$s$J$K$*5$$K$J$5$i$J$$$G2<$5$$!#(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.92Dec7190712@whale.math.ryukoku.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!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> <552@keu02.rtri.or.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!stanford.edu!sun-barr!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.92Dec7190712@whale.math.ryukoku.ac.jp>
Date: 7 Dec 92 10:07:12 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>
 <552@keu02.rtri.or.jp>
Sender: news@rins.ryukoku.ac.jp
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
Lines: 31
In-reply-to: shingo@ipc02.rtri.or.jp's message of 5 Dec 92 11:02:48 GMT