Mathematical Logic Advent Calendar 2020 13日の記事です．モデル理論の大きな定理であるタイプの排除定理について考えました． モデルを拡大する際にうまくタイプの排除をすることでほしい条件だけを追加したモデルをつくることができます． 一般の排除定…