2020-03-14から1日間の記事一覧

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

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