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

Advent Calendarの続きです．完全タイプのなす空間についてまとめました． 現在未完成の状態ですが，明日から仕事はじめということでいつ完成するかわからないため，とりあえず挙げておこうと思います． 追記：例として端点がない稠密な線形順序DLOを追加し…