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

範疇性定理を目指して　～飽和モデル～

範疇性定理

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