範疇性定理を目指して（寄り道） ～飽和タイプと量化記号消去～

今回は飽和モデルの応用です．

飽和モデルを利用することで，量化記号の消去の可否を調べることができます．

そのことをみるのが目標です．

この量化記号消去の応用例として，微分体の理論があるようですが，

寄り道なのでそこまではまとめていません．

また，代数的というそれ自体で興味考えにも触れていきます．

今回は短めです．