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