Article View: fj.sci.math
Article #215Re: Q in intutionistic math.
From: Satoshi Kobayashi
Date: Wed, 11 Nov 1992 07:46
Date: Wed, 11 Nov 1992 07:46
32 lines
2310 bytes
2310 bytes
$@>.NSAo(J@$@N6C+Bg3X$G$9!#$^$@%U%)%m!<$7$F$J$$$N$,;D$C$F$^$7$?!#$+$J$jCY$$(J
$@%U%)%m!<(J$@$K$J$j$^$7$?!#(J($@?'!9MQ;v$,$?$^$C$F$$$k$N$G!"$=$m$=$m$d$a$?$$$N(J
$@$G$9$,!D(J)
In article <RYU.92Nov6130140@sysipi.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
| |$@$7$+$7!"Cm0U$7$J$1$l$P$J$i$J$$$N$O!"(J{0,1} $@$NItJ,=89g(J X $@$,G$(J
| |$@0U$KM?$($i$l$?$H$-!"(JX $@$,>e$N(J4$@$D$N=89g$N$I$l$H$bEy$7$/$J$$$H(J
| |$@$9$k$HL7=b(J$@$9$k$o$1$G$9$,!"$@$+$i$H$$$C$F!"(J4$@$D$N$&$A$N$I$l$+(J
| |$@$KEy$7$$!"$H$O8@$($J$$$3$H$G$9!#!V$I$l$+$KEy$7$$(J$@!W$H8@$($k$?(J
| |$@$a$K$O!"6qBNE*$K$I$l$KEy$7$$$N$+$rH=Dj$7$F$_$;$k<jCJ(J($@<jB3$-(J)
| |$@$r;}$C$F$$$J$1$l$P$$(J$@$1$^$;$s!#$7$+$7!"$=$N$h$&$J<jB3$-$,$"$j(J
| |$@$=$&$K$J$$$3$H$O$o$+$k$G$7$g$&!#(J
|$@CfN,(J
| |$@$*$o$+$j$$$?(J$@$@$1$^$7$?$+(J?
|
|$@$=$&$9$k$H%i%F%#%9$N1i;;$,!"6qBNE*$K!J<jB3$-$H$7$F!KM?$($i$l$F$$$J$$%i(J
|$@%F%#%9!"$J(J$@$s$F$$$&$3$H$J$s$G$7$g$&$+!"(J{0,1} $@$O!)(J
lattice $@$K$O$J$j$^$9!#$7$+$7!"40Hw$@$H$O8@$($^$;$s!#$D$^$j!"(J
{0,1} $@$NG$0U$NItJ,=89g$KBP$7$F$=$N>e8B$d2<8B$rBP1~$5$;$k1i;;(J
$@$OI,$:$7$bDj5A$G$-$^$;$s!#(J
lattice $@$K$J(J$@$kM}M3$G$9$,!"(Jx cup y $@$H$+!"(Jx cap y $@$H$+$NDj5A$r(J
$@$9$k$N$K$O!"(Jx $@$,(J 0 $@$+(J 1 $@$+!"(Jy $@$,(J 0 $@$+(J 1 $@$+$K1~$8$F>l(J$@9gJ,$1$r(J
$@$7$FDj5A$9$l$P$h$$$+$i$G$9!#(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.92Nov11164657@whale.ryukoku.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!rins!satoshiReferences:
<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> <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> <RYU.92Nov6130140@sysipShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!rins!satoshi From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) Newsgroups: fj.sci.math Subject: Re: Q in intutionistic math. Message-ID: <SATOSHI.92Nov11164657@whale.ryukoku.ac.jp> Date: 11 Nov 92 07:46:57 GMT 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> <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> <RYU.92Nov6130140@sysip Sender: news@rins.ryukoku.ac.jp Organization: Ryukoku Univ., Seta, Japan Lines: 32 In-reply-to: ryu@sys.titech.ac.jp's message of 6 Nov 92 04:01:40 GMT