| 研究課題/領域番号 |
09874044
|
|---|
| 研究種目 |
萌芽的研究
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
安本 雅洋 名古屋大学, 大学院・人間情報学研究科, 教授 (10144114)
|
|---|
| 研究分担者 |
小澤 正直 名古屋大学, 情報文化部, 教授 (40126313)
篠田 寿一 名古屋大学, 大学院・人間情報研究科, 教授 (30022685)
|
|---|
| 研究期間 (年度) |
1997 – 1999
|
| 研究課題ステータス |
完了 (1999年度)
|
| 配分額 *注記 |
2,000千円 (直接経費: 2,000千円)
1999年度: 700千円 (直接経費: 700千円)
1998年度: 600千円 (直接経費: 600千円)
1997年度: 700千円 (直接経費: 700千円)
|
|---|
| キーワード | 限定算術 / 多項式時間計算量 / 超準モデル / ブール値モデル |
|---|
| 研究概要 |
限定算術(Bounded arithmetic)の超準モデルMと、そのgeneric拡大M[G]の中間にある構造の構造を調べその結果を弱い帰納法と最小値原理との関係等に応用した。
Lを限定算術の言語、RをLに含まれない一変数の新しい述語とし、MIN(R)は"Rは最小元を持つ"を意味する命題とする。この時T_2^1(R)からMIN(R)は簡単に証明されるが、T_2^1(R)より弱い体系で証明可能かどうかは知られていなかった。MとM[G]の中間の構造であるsymmetricモデルがMIN(R)を満たさないようになる、すなわちRが最小元を持たないようにするための条件を調べた。この中間構造としてT_2^0(R)となるものがとれることから、T_2^0(R)からMIN(R)が証明されないことがわかる。あるΣ_0^b(R)-formulaψ(x,R)が存在してS_2^1(R)からMIN(ψ(x,R))が証明できないことは、竹内-Pudlak-Krajicekらの結果から導かれるが、ψ(x,R)がどのような命題になるかは具体的にはわかっていない。従ってS_2^1(R)からMIN(R)が証明できるかどうかは未解決であるが、symmetricモデルがS_2^1(R)のモデルになるための条件について調べた。
symmetricモデルを使うことによって、弱い算術と数え上げ原理との関係についても、調べた。有限数え上げの場合を除いて、数え上げ原理はT_2^0(R)と独立であることが示された。この場合も最小値原理と同様にS_2^1(R)に対して独立になるかはわからず、そうなるための条件などについて調べた。
|
