Similar to 定義可能集合
指数閉体
順序指数体
Ordered exponential field
真の算術
True arithmetic
制御されたデジタル貸出
Controlled digital lending
生存可能システムモデル
Viable system model
超積
Ultraproduct
定常集合
Stationary set
等式コンパクト代数
バラエティ (普遍代数学)
Variety (universal algebra)
ブール値モデル
Boolean-valued model▼-1 trendsレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem