Re: Q in intutionistic math.

Article View: fj.sci.math

Article #14300

#14300

From: ryu
Date: Thu, 26 Nov 1992 00:05

25 lines
1882 bytes

$@@Q$sFI$,F@0U$J3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Nov25172256@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:

 |7$@>O$K$O(J sheaf model $@$NOC$b$"$j$^$9!#(J

presheaf $@$G$J$/$F(J sheaf $@$G$9$+!)(J
presheaf semantics $@$J$iJL(J$@$KFI$`$[$I$N$b$N$G$O$J$$$H;W$&$N$G$9$,!#(J

 |$@3^$5$s$OBe?t$K6=L#$,$"$k$h$&$G$9$,!"9=@.E*Be?t3X$K$D$$$F$O(J$@!"(J
 |
 |R. Mines, F. Richman, W. Ruitenberg:
 |A Course on Constructive Algebra,
 |(Springer)
 |
 |$@$H(J$@$$$&K\$,$"$j$^$9!#(J
 |$@$H$$$&$o$1$G!"$3$N$X$s$NK\$rFI$s$G$_$F$O$$$+$,$G$7$g$&$+(J > $@3^$5$s(J

$@<B$O$3$NK\$O;d(J$@$NIt20$N%9%_%C%3$KE>$,$C$F$$$^$9!#(J
$@:G=i$N$[$&$rFI$s$G$$$?$i!"$b$&!"%$%i%$%i%$%i%$%i$7$F$7$^$C$F!"!"!"(J$@!"(J

$@!V8xM}E*=89gO@$NN)>l!W$"$?$j$,H)$K9g$&$h$&$G$9!#(J

$@!t$G$b$=$&$9$k$H!V%M%,%F%#%V$J$3$H!W$7$+2r$i$J$$(J$@!"!"!"(J

Technical Details

Message-ID: <RYU.92Nov26090536@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:

<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@ <SATOSHI.92Nov25172256@whale.ryukoku.ac.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,c4930c4d3907c0b2
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1992-11-25 23:09:55 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 intutionistic math.
In-Reply-To: satoshi@whale.ryukoku.ac.jp's message of 25 Nov 92 08:22:56 GMT
Message-ID: <RYU.92Nov26090536@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
 <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@
 <SATOSHI.92Nov25172256@whale.ryukoku.ac.jp>
Date: Thu, 26 Nov 1992 00:05:36 GMT
Lines: 26

Reply to Parent Message