Article View: fj.comp.theory
Article #103Re: What the meaning of `proper initial segment'?
From: KANEMATU Sin'ya
Date: Thu, 08 Oct 1998 00:00
Date: Thu, 08 Oct 1998 00:00
15 lines
1598 bytes
1598 bytes
ใใๆนใซๆใใฆใใใ ใใใจใใใๆ่ใใชใใจๅคๆญใใใใใชใใใไปฅไธ ใฎใฉใกใใใงใฏใชใใใจใใใใงใใใ a) ๅนพใคใใฎๅผใใใฃใฆใใใฎๆๅใฎๆนใฎๅนพใคใใฎๅผใจใใใๆๅณใงใใใ b) ไฝใใฎๅใงใใใฐใinitial segment ใฏใใใฎๅใฎๆๅใฎๆนใจใใใใจใ ่จใฃใฆใใใซ้ใใชใใ ใใใใผใใฆใใชใใฎใงใใใproper initial segmentใซใใใฆใฏใๅทฆๆฌๅผง ใฎๆนใๅณๆฌๅผงใใๅคใใใจใ่จผๆใใใจใใใใใชๆใงใใใใใฃใฆใproper initial segmentใฏใๅฝ้ก่ซ็ๅผใ่กจใๆๅญๅใฎๅทฆใฎๆนใจใใๆๅณใงใใใจใ ใใจใๆใฏๆๅณไธๆใงใฏใชใใจๆใใพใใ(properใฏใใ็้จๅ้ๅใใฎใ็ใ ใฎใใใชๆๅณใงใใใใ) ใจใใใใใใใฎ่งฃ้ใงๅ้กใ่งฃใใฆใฟใพใใๅ้กใฏ่คๆฐใใใฎใงใใใใง ๆๅณใใใใใฉใใๅใใใใใใใพใใใ --- ๅ ผๆพ ็ๅ (ใใญใพใค ใใใ)
Technical Details
Message-ID:
<yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailReferences:
<yftr9wjyb3d.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: KANEMATU Sin'ya <kane@lp.nm.fujitsu.co.jp> Subject: Re: What the meaning of `proper initial segment'? Date: 1998/10/08 Message-ID: <yftiuhvy55a.fsf@toya.lp.nm.fujitsu.co.jp> X-Deja-AN: 398967436 References: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp> Content-Type: text/plain; charset=ISO-2022-JP X-Emacs: Emacs 20.2, MULE 3.0 (MOMIJINOGA) Organization: MW Div., Fujitsu Ltd., Numazu, Japan. Mime-Version: 1.0 (generated by SEMI 1.4.4 - "Ecchลซ-Miyazaki") Newsgroups: fj.comp.theory,fj.sci.math