Article View: fj.sci.math
Article #244Re: meta theory (Re: Q in int. math.)
From: Satoshi Kobayashi
Date: Mon, 14 Dec 1992 11:02
Date: Mon, 14 Dec 1992 11:02
22 lines
1646 bytes
1646 bytes
$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J In article <RYU.92Dec12112913@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes: | |$@FC$K#V!J#B!K$b#V!J&8!K$b#Z#F#C$G$D$/$i$l(J$@$^$9$,(J | |$@$3$l$OM}2r$G$-$^$;$s!#(J $@%a%$%k$G$I$&$$$&$d$j$H$j$,$"$C$?$N$+;d$K$O$o$+$i$J$$$N$G!"OC$N%3%s(J$@%F%/(J $@%9%H$,ITL@$J$N$G$9$,!"#V!J#B!K$b#V!J&8!K$b(J ZFC $@$G$D$/$i$l$k!"$H$$$&$N(J $@$O@5$7$$$G$9$h!#DL>o(J ZFC $@$N(J$@Cf$G:n$j$^$9!#(JZFC $@$N(J proper class $@$H$7$F:n(J $@$l$P$h$$$N$G$9!#$b$A$m$s!"(JZFC $@<+BN$N%b%G%k$NB8:_$r2>Dj(J($@$9$J(J$@$o$A(J ZFC $@$N(J $@L5L7=b@-$r2>Dj(J)$@$7$F$h$$>l9g$K$O!"(Jproper class $@$G$J$/!"=89g$K$J$C$F$$$k(J $@$h$&$J(J V $@$r$H$C$F!"(JV $@$+$i(J V(B) $@$r:n$l$P!"(JV(B) $@$r=89g$K$G$-$k$H;W$$$^$9(J $@$,!#(J $@2?$K$7$F$b!"$3$l$i$N%b%G%k$r:n$k$H$-$K$O!"(J($@IaDL(J)$@8EE5O@M}$rMQ$$$^$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.92Dec14200232@whale.math.ryukoku.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!rinsgw!rins!satoshiReferences:
<565@keu02.rtri.or.jp> <RYU.92Dec12112913@sysipk.sys.titech.ac.jp>Show Full Headers
Complete Article Headers
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: meta theory (Re: Q in int. math.) Message-ID: <SATOSHI.92Dec14200232@whale.math.ryukoku.ac.jp> Date: 14 Dec 92 11:02:32 GMT References: <565@keu02.rtri.or.jp> <RYU.92Dec12112913@sysipk.sys.titech.ac.jp> Sender: news@rins.ryukoku.ac.jp Distribution: fj Organization: Ryukoku Univ., Seta, Otsu, Japan Lines: 22 In-reply-to: ryu@sys.titech.ac.jp's message of 12 Dec 92 02:29:13 GMT