Similar to 真の算術
モデル理論
Model theory埋め込み (数学)
Embeddingクリプキ・モデル
Kripke semanticsコンパクト性定理
Compactness theorem指数体
Exponential field指数閉体
順序指数体
Ordered exponential field初等同値性
Elementary equivalence生存可能システムモデル
Viable system model超積
Ultraproduct定義可能集合
Definable set定常集合
Stationary setバラエティ (普遍代数学)
Variety (universal algebra)保存拡大
Conservative extension有限モデル理論
Finite model theoryレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem