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