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