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