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