Inter-universal geometry と ABC予想 (応援スレ) 74 (971ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
757(1): 09/05(金)07:49 ID:LLCzYk0t(2/3) AAS
>>753
つーかお前が大好きなwikipediaで
「グロタンディーク宇宙」の項の冒頭に
定義が書いてあるじゃねーか
お前には書いてあることが理解できなかったんだろうけど
同値でない定義が他にもあるってんのなら出してみろよ
761(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)12:27 ID:9s+SPZw0(1/2) AAS
>>756-760
>Grothendieck宇宙の定義が異なるわけじゃない
選択公理には、同値な定義が 選択関数によるものを含め 大きく３つあるという（他にも）
これらは、見かけは異なるが 同値らしいなｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
選択公理と等価な命題 整列可能定理 ツォルンの補題
>MSがやろうとしてることは、どうもPaul Cohenのforcingの代数版らしい
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s