安定無限性と最小モデルの計算可能性の組み合わせ

理論の組み合わせにおける様々な性質の組み合わせを分析し、可能な組み合わせと不可能な組み合わせを特徴付けた。特に、最小モデルの計算可能性に着目し、他の性質との関係を明らかにした。