[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
73(1): ○○女子大数学科１年 04/22(火)06:28 ID:2aFpo5FF(1/5) AAS
>>72
> 自然数 で
> suc (a):=a ∪ {a} とするノイマンの構成では∈による推移関係が成り立つ 一方、
> suc(a) := {a} と定義するツェルメロの構成では ∈による推移関係は 不成立だが
> モストフスキ崩壊補題の系 7 により、ツェルメロの構成は ∈による推移的なM
>（推移的なノイマンの構成の順序数）と 順序同型になる
> 『系 7(集合版モストフスキ崩壊補題).
省14
74(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/22(火)07:39 ID:6xExXHND(1) AAS
>>73
>モストフスキ崩壊補題なんて使わなくても直接示せるけどね
それはそうだが、”牛刀を用いて鶏を割く”だね。大定理の系として＊ 。 一般に 集合の良い順序を ∈による推移的なM に落とせる
つまり、公理的集合論では ∈による順序が重要だってことだ
(下記の Mostowski-Kollaps 独語 ご参照)
(＊：大学入試問題を 大学学部の大定理で 一発で解くみたいな。本当は、学部の大定理をつまみ食いして 入試問題を作っているらしい)
>ツェルメロの順序数で、順序の性質を満たす二項関係Ｒ
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s