Similar to レーヴェンハイム–スコーレムの定理
定義可能集合
Definable set
定常集合
Stationary set
等式コンパクト代数
バラエティ (普遍代数学)
Variety (universal algebra)
ブール値モデル
Boolean-valued model▼-1 trends
保存拡大
Conservative extension
有限モデル理論
Finite model theory
トアルフ・スコーレム
Thoralf Skolemラマヌジャン・スコーレムの定理
Ramanujan–Nagell equation