Re: What the meaning of `proper initial segment'?

Article View: fj.comp.theory

Article #105

#105

From: Ichiro FUKUSHIMA
Date: Tue, 20 Oct 1998 00:00

14 lines
1481 bytes

$B855-;v$NF|IU$+$i$9$k$H$b$&2r7h$5$l$F$$$k$G$7$g$&$+!)(B
$B!d(B b) $B2?$+$NNs$G$"$l$P!"(Binitial segment $B$O!"$=$NNs$N:G=i$NJ}$H$$$&$3$H$r(B
$B!d(B   $B8@$C$F$$$k$K2a$.$J$$!#(B
$BLu$7$F$7$^$&$H!"!V:G=i$N0lItJ,!W$G$9!#$*$=$i$/!"LdBj$O(B
$B!V@5$7$$3g8L$N;H$$J}$r$7$F$$$k?t<0$K$*$$$F!"$=$N:G=i$N0lItJ,!JJ8;zNs$H$7$F!K(B
$B$r<h$j=P$9$H!":83g8L$N?t$,1&3g8L$N?t$r2<2s$i$J$$$3$H$r>ZL@$;$h!W(B
$B$@$H;W$$$^$9!#(B
proper $B$O$3$3$G$O@5$7$$;H$$J}!"$G$"$C$F!"??$NItJ,$G$O$J$$$H;W$$$^$9!#(B
$B!J(Binitial segment $B$O;d$N@l96J,Ln$G$b;H$&$b$N$G!D!K(B
-- 
	$BJ!(B  $BEg(B  $B0KCNO:(B
	ichiro@ms.u-tokyo.ac.jp,nn66040@hongo.ecc.u-tokyo.ac.jp
	$BEl5~Bg3XBg3X1!(B $B?tM}2J3X8&5f2J?tM}2J3X@l96(B $B=$;N2]Dx(B
	$B6M0~3X1`9bEy3X9;(B/$BBg:J9bEy3X9;(B/$B$[$+(B

Technical Details

Message-ID: <hgqhfwzhd5g.fsf@n00-xs00.hongo.ecc.u-tokyo.ac.jp>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp> <yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,b520a97c4123bbf7
X-Google-Attributes: gidf4956,public
X-Google-Thread: 10a0b6,b520a97c4123bbf7
X-Google-Attributes: gid10a0b6,public
From: Ichiro FUKUSHIMA <nn66040@hongo.ecc.u-tokyo.ac.jp>
Subject: Re: What the meaning of `proper initial segment'?
Date: 1998/10/20
Message-ID: <hgqhfwzhd5g.fsf@n00-xs00.hongo.ecc.u-tokyo.ac.jp>
X-Deja-AN: 403114623
Sender: nn66040@n00-xs00.hongo.ecc.u-tokyo.ac.jp
References: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp> <yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp>
Organization: "University of Tokyo (ECC-Hongo)"
NNTP-Posting-User: nn66040
Newsgroups: fj.comp.theory,fj.sci.math

Reply to Parent Message