Article View: fj.sci.math
Article #14325Re: Q in intuitionistic math.
From: Satoshi Kobayashi
Date: Wed, 02 Dec 1992 07:29
Date: Wed, 02 Dec 1992 07:29
30 lines
1982 bytes
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!satoshiReferences:
<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