A NORMAL FORM THEOREM FOR ELEMENTARY ANALYSIS
スポンサーリンク
概要
- 論文の詳細を見る
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.数についてペアノの公理系が成り立ち、述語変数に対する量化が存在する形式的体系は古典解析と呼ばれている。この体系では実数は有理数のある種の集合として述語子で定義され、実数についての全称および存在命題が形式化可能である。初等解析の形式的体系とは古典解析の部分体系であって、その中に述語変数に対する量化子が含まれていないような初等述語子にだけ内包公理を制限したものである。また、ある形式的体系のω無矛盾性はその体系の単なる無矛盾性よりも強い性質である。その体系自身のω無矛盾性を導ける初等解析の形式的体系についてのある標準形定理がεε1までの超限帰納法を用いて証明されることを示す。
- 2010-07-29
論文 | ランダム
- 19aZA-1 ダイアモンドのコヒーレント光学フォノン(超高速現象・非線形光学,領域5,光物性)
- 26aWB-8 ビスマスのコヒーレントA_およびE_gフォノンの温度依存性(26aWB 超高速現象,領域5(光物性))
- 30aRF-8 金属におけるコヒーレント光学フォノンのファノ干渉(領域5,領域1合同招待講演,30aRF 超高速現象・非線形光学,領域5(光物性))
- フェムト秒レーザーによるコヒーレントフォノダイナミクス
- 19pYN-4 「シリコンの照射欠陥の低エネルギー電子による回復」(領域10,領域4合同シンポジウム : 電子励起と不純物ダイナミックスのコントロール,領域10(誘電体,格子欠陥,X線・粒子線,フォノン物性))