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