| 研究課題/領域番号 |
06640289
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
坪井 明人 筑波大学, 数学系, 助教授 (30180045)
|
|---|
| 研究分担者 |
本橋 信義 筑波大学, 数学系, 教授 (70015874)
西村 泰一 筑波大学, 数学系, 講師 (70135614)
南 就将 筑波大学, 数学系, 講師 (10183964)
酒井 克郎 筑波大学, 数学系, 講師 (50036084)
佐々木 健昭 筑波大学, 数学系, 教授 (80087436)
|
|---|
| 研究期間 (年度) |
1994
|
| 研究課題ステータス |
完了 (1994年度)
|
| 配分額 *注記 |
2,100千円 (直接経費: 2,100千円)
1994年度: 2,100千円 (直接経費: 2,100千円)
|
|---|
| キーワード | strongly minimal / almost strongly minimal / DMP / fusion / saturated model / uncountably categorical |
|---|
| 研究概要 |
本研究の目的は飽和構造の応用にあった.飽和構造では仮想的(理想的な条件で存在するよう)な元が現実に存在すると思えるので議論が単純になる.これが大きな利点である.多少意味あいが異なるが,体が代数閉体の中に埋め込まれていると考えると議論がしやすくなる事に似ている.さて本年度得られた飽和構造に関する結果のうち,最も重要と思われるのは次の結果である.
結果:Tは有限個の強極小集合によって生成される構造の理論とする.もしTがDMPを持てば,Tの言語を拡大して,1つの強極小集合で生成されるようにできる.さらにこの拡大は強極小集合たちの間の全単射を言語に付加することによりなされる.
この定理でTを二つの代数閉体を全く無関係に並べた構造の理論としよう.この場合に定理を適用して得られる結論は,HrushovskiのFusion(異なる票数の代数閉体を一つの強極小集合の上に実現すること)を含んでいる.一般にN_1-カテゴリカルな理論ではランクが定義可能になるが,DMPはDegreeまでも定義可能になることを要求する条件である.DMPは多くの構造で成立するが,人工的な構造の中には成立しないものもある.DMPの消去は今後の課題である.
|
