| 配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| 研究概要 |
我々は, 木の一様性に関するいくつかの新しい概念を導入した. 木とは, 定義から,任意の元の始切片が全順序になる半順序構造のことである.木の典型的な例は,有限ω列全体に始切片関係を導入して得られる.本研究では, 言語L を持つ構造 M において議論する.部分集合Aが木の元によってインデックスを持つ場合も木と呼ぶことにする.我々は木Aの一様性を研究し,非安定理論の研究に応用を行った.特に,我々はΓ(論理式で記述された条件集合)が強い部分順序性を持てば,Γの解として,強い意味の一様集合をとれることを証明した.
|
