Re: Q in intuitionistic math.

Article View: fj.sci.math

Article #14339

#14339

From: ryu
Date: Sat, 05 Dec 1992 01:44

12 lines
1357 bytes

$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Dec2162422@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |
 |$@$7$+$7!"D>4Q<g5AO@M}$@$C$F(J Kripke semantics $@$d!"(Jcomplete Heyting
 |algebra $@$K$h$k(J semantics $@$KBP$7$F40A4$G$9(J($@40A4@-DjM}$,@.N)$9$k(J)$@!#(J

$@$3$l$O0l$D$N%/%j%W%-(J$@%;%^%s%F%#%C%/$G40A4!"$J$I$H$$$&$3$H$G$O$J$/$F!"%/(J
$@%j%W%-%;%^%s%F%#%C%/$9$Y$F$K$h$kN`$G40A4!"$F$3$H$G(J$@$9$M!#(J

$@H=$j$-$C$?$3$H$H$O;W$$$^$9$,!#(J

Technical Details

Message-ID: <RYU.92Dec5104454@sysipk.sys.titech.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!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> <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 15:20:10 PST
Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!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: satoshi@whale.math.ryukoku.ac.jp's message of 2 Dec 92 07:24:22 GMT
Message-ID: <RYU.92Dec5104454@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>
 <530@keu02.rtri.or.jp> <SATOSHI.92Dec2162422@whale.math.ryukoku.ac.jp>
Distribution: fj
Date: Sat, 5 Dec 1992 01:44:54 GMT
Lines: 12

Reply to Parent Message