Category:モデル理論
モデル理論
Model theoryレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theoremコンパクト性定理
Compactness theoremクリプキ・モデル
Kripke semantics生存可能システムモデル
Viable system model算術の超準モデル
Non-standard model of arithmetic有限モデル理論
Finite model theoryアックス–グロタンディークの定理
Ax–Grothendieck theorem指数閉体
指数体
Exponential field順序指数体
Ordered exponential field埋め込み (数学)
Embedding定常集合
Stationary setバラエティ (普遍代数学)
Variety (universal algebra)保存拡大
Conservative extension定義可能集合
Definable set初等同値性
Elementary equivalence超積
Ultraproduct真の算術
True arithmetic