Similar to チューリングジャンプ
アルティン相互法則
Artin reciprocity
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アレクサンダー多項式
Alexander polynomial
0
0▲1 trends
1
1▼-1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)