ガロア第一論文と乗数イデアル他関連資料スレ2

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

662: １３２人目の素数さん [sage] 2023/03/22(水)15:51 ID:LUekqIH1(1/2)
>>619
余談だが、アスコリ・アルツェラの定理は
逆数学ではACA0と同値なので
「当たり前」という認識はわからんでもない

663(1): １３２人目の素数さん [sage] 2023/03/22(水)15:56 ID:LUekqIH1(2/2)
>>659
デュドネ？