2020-01-27から1日間の記事一覧

範疇性定理を目指して　～素モデルと原子モデル～

範疇性定理

範疇性定理を目指して少しずつ勉強をしていこうと思います．まずは素モデル，原子モデルを導入し可算言語上の無限モデルをもつ完全理論でその同値性を，さらには完全タイプのなす空間で孤立タイプが稠密になることも同値であることを示します．