well-founded (Re: two "simple" questions)

Article View: fj.sci.math

Article #14264

#14264

From: Shingo MATSUMOTO
Date: Fri, 19 Mar 1993 03:34

16 lines
1628 bytes

$B>>K\!w?t3X2J$/$:$l$G$9!#(B

$BC1$J$kCc!9(B$B$G$9$,(B...

In article <1993Mar16.025147.27136@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
 |$B$H$7$?5?Ld$G$7$?$N$G!"$=$l$O$b$&==J,G<F@$$$-$^$7$?!#?t3X$rIaDL$d$C$F$$(B
 |$B$/(B$B>e$G$O!"=89gO@$N$3$H$O$[$H$s$I5$$K$7$^$;$s$N$G!"$I$s$J8xM}$bI,MW$J$$(B
 |$B$H$b$$$($k$+$bCN$l$^$;$s!#!J$G(B$B$b!"$=$l$G5s$2B-$H$i$l$k$3$H$O$"$j$^$9$h(B
 |$B$M!K(B

$B$&$&$`!"$3$NH/8@$O3N$+$K5s$2B-$H$i$l$k$+$b$7$l$J$$!#(B(^^;)

$B5$J,$H$7$F$O!"(Bwell-founded$B$G$J$$$b$N$K$D$$$F$O!"$I$s$J8xM}$r$b$C$F$-$F$b(B
well-founded$B$J@$3&$K1F(B$B6A$,$J$1$l$P$$$$$s$8$c$J$$$+$H$$$&$3$H$@$H;W$$$^$9$,!#(B

$B!t8xM}$,%<%s%<%s$$$i$J$$$H$$$&0UL#$@$H!"$b$A$m(B$B$s:$$k!#(B

Technical Details

Message-ID: <SHINGO.93Mar19123419@ipc02.rtri.or.jp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!darwin.sura.net!sgiblab!nec-gw!nec-tyo!wnoc-tyo-news!news.u-tokyo.ac.jp!s.u-tokyo!kekux!crimson!ume!gama!lab!utogw!sectrl!keu02!shingo

References:

<1993Feb18.081429.14581@kudpc.kyoto-u.ac.jp> <1993Feb20.053151.28144@kudpc.kyoto-u.ac.jp> <SATOSHI.93Feb25185120@whale.math.ryukoku.ac.jp> <1993Mar16.025147.27136@kudpc.kyoto-u.ac.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,38f3806df9a3b430
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1993-03-18 19:34:19 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!darwin.sura.net!sgiblab!nec-gw!nec-tyo!wnoc-tyo-news!news.u-tokyo.ac.jp!s.u-tokyo!kekux!crimson!ume!gama!lab!utogw!sectrl!keu02!shingo
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: well-founded (Re: two "simple" questions)
Message-ID: <SHINGO.93Mar19123419@ipc02.rtri.or.jp>
Date: 19 Mar 93 03:34:19 GMT
References: <1993Feb18.081429.14581@kudpc.kyoto-u.ac.jp>
 <1993Feb20.053151.28144@kudpc.kyoto-u.ac.jp>
 <SATOSHI.93Feb25185120@whale.math.ryukoku.ac.jp>
 <1993Mar16.025147.27136@kudpc.kyoto-u.ac.jp>
Sender: news@keu02.rtri.or.jp
Distribution: fj
Organization: Railway Technical Research Institute
Lines: 16

Reply to Parent Message