What the meaning of `proper initial segment'?

Article View: fj.comp.theory

Article #102

#102

From: KANEMATU Sin'ya
Date: Thu, 08 Oct 1998 00:00

7 lines
1091 bytes

  命題論理式の説明をしている文章(Fittingのfirst order logicの本)の練習
問題中に「proper initial segment」という言葉が出てきました。
  どういう意味かどなたか教えていただけないでしょうか?
  ちなみに、岩波の「数学辞典」と「情報科学辞典」のどちらでも見つけるこ
とができませんでした。
---
兼松 真哉 (かねまつ しんや)

Technical Details

Message-ID: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp>

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

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 10a0b6,b520a97c4123bbf7,start
X-Google-Attributes: gid10a0b6,public
X-Google-Thread: f4956,b520a97c4123bbf7,start
X-Google-Attributes: gidf4956,public
From: KANEMATU Sin'ya <kane@lp.nm.fujitsu.co.jp>
Subject: What the meaning of `proper initial segment'?
Date: 1998/10/08
Message-ID: <yftr9wjyb3d.fsf@toya.lp.nm.fujitsu.co.jp>
X-Deja-AN: 398967435
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