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