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