Re: Q in intuitionistic math.

Article View: fj.sci.math

Article #268

#268

From: ryu
Date: Mon, 16 Nov 1992 23:34

38 lines
1931 bytes

$@8aA0#8;~#1#5J,$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <531@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 |>$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#(J
 |
 |$@$H(J$@$3$m$G(J
 |$@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
 |$@$3$l$O??56CM$N6u4V$G(J
 |$@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N(J$@$M!#(J
 |$@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
 |$@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J

$@$J$s$G$9$h$M!#C1=c$JOC$7$J$s$G$9(J$@$h$M!#(J
$@!t$b$C$H$b!"$=$l$rM}2r$G$-$J$$GZ$b$$$k$o$1$@$,!#(J


 |>$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J
 |
 |$@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J

$@$(!"$8$c2?$N$3$H$J$s$G$7$g!#(J


 |>$@JL$K(J V^$@&8(J $@$C$F!V40A4(J$@!W$8$c$"$J$$$s$G$7$g!)(J
 |
 |$@$h$/9M$($?$i!V40A4!W$C$F!)(J
 |V$@!0&8$O%b%G%k$@$h!#(J

$@$($H!"40A4$H$$$&$N$O2<$N(J$@MW7o$r$_$?$9!"$H$$$&0UL#$G;H$$$^$7$?!#$o$+$j$K(J
$@$/$$8@MU;H$$$G$4$a$s$J$5$$!#(J
$@!|!V$"$k(J f $@$,$9$Y$F$N&8$K(J$@BP$7$F#1$r$H$k(J $@"M(J $@D>4Q<g5A$G>ZL@$G$-$k!W(J

$@$^$"!"@.$jN)$DLu$J$$$G$9$M!#(J
$@$G$b!"C]Fb30;K$N$$$&!VD>4Q<g5A(J$@E*=89gO@!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

Technical Details

Message-ID: <RYU.92Nov17083440@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> <531@keu02.rtri.or.jp>

Show Full Headers

Complete Article Headers

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: shingo@ipc02.rtri.or.jp's message of 16 Nov 92 08:42:54 GMT
Message-ID: <RYU.92Nov17083440@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>
 <531@keu02.rtri.or.jp>
Distribution: fj
Date: Mon, 16 Nov 1992 23:34:40 GMT
Lines: 39

Reply to Parent Message