|
真に超安定なジェネリック構造は存在しないという結果を得ることができた．この結果はBaldwinの予想の否定的解決となっている．また同時に，安定なジェネリック構造が飽和ならば真に安定かあるいはω安定になるという結果も得ることができた．さらに，Baldwin氏との共同研究により，飽和ジェネリック構造はSOP_4をもたないことを証明することができた．この結果はEvans-Wangの定理の真の拡張になっている．また，桔梗宏孝氏とともにジェネリック構造のモデル完全性について研究し，Hrushovskiの可算範疇的単純理論はモデル完全であることを証明することができた．
|
