筑波大学数学談話会

 

モデル理論では数学的構造（群、環、体、グラフ、順序構造など）を安定性と呼ばれる指標を用いていくつかのクラスに分類する。構造Mが安定であるというのはきわめて大雑把に言うと、構造の自己同型全体のなす群による作用を考えたとき、その作用に関する軌道があまりたくさんは存在しない、という風に説明できる。

講演者は最近、安定性のひとつのクラスであるn-dependent theoryに対し、ハイパーグラフの組み合わせ論を用いて二つの特徴づけを与えた。証明で使われた道具はいくつかの分野で関連する話題が研究されており、そのような周辺の話題も交えながら研究成果について解説したい。

キーワード：universal minimal flow, Ramsey property, VC-dimension, Turan problem, indiscernibles