ある理論 が -範疇的であるとは， 「濃度が である任意の二つのモデルが同型である」 ときにいい，目標である範疇性定理は当然この範疇性にかかわる定理です．さて，今回は逆に「範疇的でない理論」を考えようと思います．どのような理論は範疇的にならない…

今回は飽和モデルの応用です．飽和モデルを利用することで，量化記号の消去の可否を調べることができます．そのことをみるのが目標です．この量化記号消去の応用例として，微分体の理論があるようですが，寄り道なのでそこまではまとめていません．また，代…

前回は，素モデルについて考えました．素モデルとは簡単にいってしまえば， 「任意のモデルに初等的に埋め込むことができるモデル」 ということになります．この意味で，素モデルとは「小さな」モデルということになるでしょう．では，逆に，「大きな」モデ…