Article View: fj.sci.math
Article #14342Re: Q in intuitionistic math.
From: Shingo MATSUMOTO
Date: Sat, 05 Dec 1992 11:02
Date: Sat, 05 Dec 1992 11:02
22 lines
1708 bytes
1708 bytes
$@>>K\!w?t3X2J$/$:$l$G$9!#(J $@$I$&$b!"$3$NOCBj$K$J$C$F$+$i5^$KEj9F?t$,A}$($F:$$C$F$*$j$^$9!#(J 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$=!"??LLL\$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$$$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@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$$$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$$$&<ALd$@$H;W$C$F(J $@$&$C$+$j=q$$$F$7$^$$$^$7$F!#(J >$@$"!"$=$l$H$b!"40A4@-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$+$$$$$h$&$,$J$$$J$"(J($@%*%=%^%D(J^^;)
Technical Details
Message-ID:
<552@keu02.rtri.or.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingoReferences:
<526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <SATOSHI.92Dec2162422@whale.math.ryukoku.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 17:53:36 PST Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) Newsgroups: fj.sci.math Subject: Re: Q in intuitionistic math. Message-ID: <552@keu02.rtri.or.jp> Date: 5 Dec 92 11:02:48 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> Sender: news@keu02.rtri.or.jp Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) Distribution: fj Organization: Railway Technical Research Institute Lines: 22