[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
553(4): 2023/07/09(日)19:51 ID:tLoMzqUS(5/7) AAS
>>551
>どちらが勝つか決定するアルゴリズムが存在しないゲームって興味深いですね
それは面白いね
下記の決定性公理:もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人位相的な完全情報ゲーム(英語版)について(後述)、どちらかのプレイヤーは必ず必勝法を持つことを主張する
と両立するのだろうか?
ゲーム理論には詳しくないので分からないのだが・・
(参考)
省5
554: 2023/07/09(日)19:51 ID:tLoMzqUS(6/7) AAS
>>553
つづき
スタインハウスとミシェルスキーが AD を考えた動機はその帰結の興味深さ、そして集合論の最小の自然なモデル L(R) において成り立ちうることにあった。これは選択公理 (AC) の弱い形のみを許容し、全ての実数と全ての順序数を含むものである。AD からのいくつかの帰結はステファン・バナフとスタニスワフ・マズールとモートン・デイビスによってそれまでに得られていた定理から従う。 ミシェルスキーとStanis?aw ?wierczkowskiは次の事実の研究に貢献した: AD は実数からなる集合が全てルベーグ可測であることを導く。 続いて、ドナルド・A・マーティン などによって特に記述集合論において、さらなる重要な結論が得られている。1988年には、ジョン・R・スティール and ヒュー・ウッディン が長期研究の結果を報告している。彼らは?0{\displaystyle \aleph _{0}} と類似な性質をもつ不可算基数の存在を仮定して、ミシェルスキーとスタインハウスがもともと予想していた L(R) において AD が真になるということを示した。
(引用終り)
以上
560(1): 2023/07/10(月)06:36 ID:xZtpXfEL(1) AAS
>>553
定義確認しような
定義が読めないんなら黙ろうな
恥かくだけだぞ
607(2): 2023/07/12(水)11:24 ID:GUggp0iI(2/8) AAS
>>560
>>>553
>定義確認しような
>定義が読めないんなら黙ろうな
>恥かくだけだぞ
遠隔ですまんが
イチャモン付ける相手が違うぞw
省9
615(1): 2023/07/12(水)18:29 ID:GUggp0iI(7/8) AAS
>>614 補足
>>607より再録
なお、>>551の発言をするときは
>>553程度のツッコミは想定しておかないと
シャレにならんということだよw
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s