Similar to バラエティ_(普遍代数学)
余代数
Coalgebra
米田の補題
Yoneda lemma
ウィリアム・ローヴェア
William Lawvere
モデル理論
Model theory
アックス–グロタンディークの定理
Ax–Grothendieck theorem
クリプキ・モデル
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
等式コンパクト代数
ブール値モデル
Boolean-valued model▼-1 trends
保存拡大
Conservative extension有限モデル理論
Finite model theoryレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem
第3海兵遠征軍 (アメリカ軍)
III Marine Expeditionary Force
第8SS騎兵師団
8th SS Cavalry Division Florian Geyer
第13竜騎兵落下傘連隊 (フランス軍)
13th Parachute Dragoon Regiment
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第29SS武装擲弾兵師団
29th Waffen Grenadier Division of the SS (1st Italian)
