Similar to レーヴェンハイム–スコーレムの定理
アルティン・シュライアー理論
Artin–Schreier theory
アルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アレクサンダー多項式
Alexander polynomial
スコーレム標準形
Skolem normal form
アックス–グロタンディークの定理
Ax–Grothendieck theorem
0
0▲2 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
カット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation
ゲーデルの加速定理
Gödel's speed-up theorem
チャーチ・ロッサーの定理
Church–Rosser theorem
パリス＝ハーリントンの定理
Paris–Harrington theorem
ベルンシュタインの定理
Schröder–Bernstein theorem
ポストの定理
Post's theorem
ライスの定理
Rice's theorem