ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 紀要
  2. 第07巻

A NORMAL FORM THEOREM FOR ELEMENTARY ANALYSIS

http://hdl.handle.net/10173/535
http://hdl.handle.net/10173/535
bd7e2911-c671-4b04-8f13-864318c52929
名前 / ファイル ライセンス アクション
rb7_109-124.pdf rb7_109-124.pdf (718.3 kB)
Item type 紀要論文 / Departmental Bulletin Paper(1)
公開日 2010-09-03
タイトル
タイトル A NORMAL FORM THEOREM FOR ELEMENTARY ANALYSIS
言語
言語 eng
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
著者 Suzuki, Toshiyuki

× Suzuki, Toshiyuki

Suzuki, Toshiyuki

Search repository
著者別名
識別子Scheme WEKO
識別子 4050
姓名 鈴木, 利幸
抄録
内容記述タイプ Abstract
内容記述 The formal system in which the Peano’s axioms hold for numbers and there are quantifications over predicate variables is said to be classical analysis. In this system the real numbers are definable by predicators as certain sets of rational numbers and universal and existential statements about real numbers are formalizable. The formal system of elementary analysis is the subsystem of classical analysis which is restricted to the comprehension axioms for only elementary predicators in which no quantifiers over predicate variables are contained. And the ω-consistency of a formal system is a stronger property than the simple consistency of the system. We show that a normal form theorem for the formal system of elementary analysis which implies the ω-consistency of the system is proved by applying transfinite induction up to εε1.
抄録
内容記述タイプ Abstract
内容記述 数についてペアノの公理系が成り立ち、述語変数に対する量化が存在する形式的体系は古典解析と呼ばれている。この体系では実数は有理数のある種の集合として述語子で定義され、実数についての全称および存在命題が形式化可能である。初等解析の形式的体系とは古典解析の部分体系であって、その中に述語変数に対する量化子が含まれていないような初等述語子にだけ内包公理を制限したものである。また、ある形式的体系のω無矛盾性はその体系の単なる無矛盾性よりも強い性質である。その体系自身のω無矛盾性を導ける初等解析の形式的体系についてのある標準形定理がεε1までの超限帰納法を用いて証明されることを示す。
書誌情報 高知工科大学紀要

巻 7, 号 1, p. 109-124, 発行日 2010-07-29
ISSN
収録物識別子タイプ ISSN
収録物識別子 1348-4842
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA11954573
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
その他のタイトル
その他のタイトル 初等解析の標準形定理
出版者
出版者 高知工科大学
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:06:15.308898
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3