Article View: fj.sci.math
Article #14348Re: Q in intuitionistic math.
From: Satoshi Kobayashi
Date: Mon, 07 Dec 1992 10:07
Date: Mon, 07 Dec 1992 10:07
31 lines
2164 bytes
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!satoshiReferences:
<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