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