TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【未解決問題】奇数の完全数が存在しないことの証明
分からない問題はここに書いてね456
現代数学の系譜11 ガロア理論を読む29
オススメ大学
一つの整数を二つの平方数の差で表す方法
0.99999……は1ではない その7
現代数学の系譜 工学物理雑談 古典ガロア理論も読む58
「安倍がRば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真
wwwww小説を読むスレwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
Putnam Examについて
40 :
>>37-38 補足
重箱の隅かも知れないが
良く読むと

和訳
だからMは正則性公理を満たす(内部的には整礎的である)が、
Rは整礎的関係でなく、この崩壊補題も適用できない。

英文
So M satisfies the axiom of regularity (it is "internally" well-founded)
but it is not well-founded and the collapse lemma does not apply to it.
(引用終り)

ここで、
”Rは整礎的関係でなく”  vs  " it is not well-founded"
なのだが、”it”は、その前の”(it is "internally" well-founded)”
の”it”と同じと解すべきで、”it”はMでしょ
(”There exists a model M (assuming the consistency of ZF) ”)

で、Rは、”whose domain has a subset A with no R-minimal element”だし
「Rは整礎的関係でなく」は、誤訳ですね、きっと
正しくは”Mは整礎的でなく”でしょう

つまり、M自身は、Mostowski collapse lemma (en.wikipedia) https://en.wikipedia.org/wiki/Mostowski_collapse_lemma
の条件
”Statement Suppose that R is a binary relation on a class X such that”(引用していないので原文リンク先ご参照)
を満たしていないから
”the collapse lemma does not apply to it”
ってことでしょ(^^;

数学って結局暗記ゲーなの?
ワッチョイ、IP表示議論スレ
現代数学の系譜 古典ガロア理論を読む39
現代数学の系譜 古典ガロア理論を読む38
不等式への招待 第9章
Inter-universal geometry と ABC 予想 45
【万年】黒木玄を語ろう【助教】 その2
現代数学の系譜 古典ガロア理論を読む38
ゼロ割をがんばって定義してみるスレ
ルベーグ積分や測度論のスレ その2
--------------------
【最強の講師陣】N予備校Part23【最強のシステム】
【Test】書き込みテスト Part.5
初代ガロより初代慶次の方が面白かったよな
【進撃・団兵】KURO海賊グッズ注意喚起2【ブ口ッコリー・ちゅNコレ】
KBTの噂8
株式会社 アドウェイズ ってどうよ。
黒嘉嘉・ヘイジャージャー
産まない「団塊ジュニア世代」…「(少子化対策は)もう間に合わない」とする専門家
【ワンパンマン】ONE総合part189【モブサイコ100】
【W20x】メルセデス・ベンツCクラス総合 34台目
【俺のとは】京都新聞6【違うなぁ】
尻・ケツのアトピーについて語るスレ2
バトルヴィーナス【Magic World Begins】 Part1
【語れ】*デザインが良い携帯電話*【雑談】
【来るな!】湘南も箱根も「来ないで」 GW前に観光地は警戒感
人生のシミュレートはことごとく失敗する
【雑談】おまいら50ネタでFLASH作れIV【感想】
【佐々木・奥川】侍ジャパン壮行試合 高校日本代表vs大学日本代表
和歌山県のお奨め自動車学校を教えて下さい。
ポンコツ君のおうち3
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼