Similar to 有限モデル理論
初等同値性
Elementary equivalence
定義可能集合
Definable set
保存拡大
Conservative extension
Μ再帰関数
General recursive function
モデル理論
Model theory
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
アックス–グロタンディークの定理
Ax–Grothendieck theorem
第六号掃海艇
第七号掃海艇 (3代)
Japanese minesweeper No. 7 (1938)
第七潜水艇
第八号掃海艇 (3代)
Japanese minesweeper No. 8 (1938)
第九号掃海艇 (3代)
第十号掃海艇 (3代)
Japanese minesweeper No. 10 (1938)
第11SS装甲偵察大隊
第十一号掃海艇 (2代)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend第十二号掃海艇 (2代)
第十三号掃海艇
第13師団 (日本軍)
13th Division (Imperial Japanese Army)第十四号掃海艇
第十五号掃海艇
第十六号掃海艇
