blogこの広告は、90日以上更新していないブログに表示しています。なるわけで、べつにココらへんの計算にGCHはいらない。(Solovayの結果を参照しなさい。reflectionによる影響を考えなさい。最低必要なのはわかるが。あ、Silverの可測基数でGCHが破れているモデルの作り方の話であ。strengthの話はまあ気になるところではあるな。なんでかというと、可測基数でGCHが壊れてると、Prikry強制を使って、基数を壊さずに目的の可測基数を可算共終にできるので、特に、SCHが壊れているモデルが作れる。SCHって奇妙なんですよねぇ。combinatricsと共存しているという点で。ここらへんの謎を解いてみたいなあ、と思いつつも例あって知識も能力もないという、ぐぬぬ。これについては、HandbookのAbrahamの記事にも解説が載っているけど、底辺理解力でうーんという。propertyが、それを弱めると、特異基数上で実現しているという不思議!誰か研究してくださいな。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。