Similar to ブール値モデル
埋め込み (数学)
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
集合の代数学
Algebra of sets
真理値表
Truth table
ストーン双対性
Stone duality
ストーンの表現定理
Stone's representation theorem for Boolean algebras
パリティ関数
Parity function
