【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!

Pmax

今後の展開に期待しつつ。
数学 数学講義 pmax 数学基礎論
2804view 0コメント
2
ログインして広告を非表示にする
かわず @kawazu1147 2011-12-21 22:52:35
選択公理って認めるか認めないかを議論する意味が分からないんだけど、選択公理からそんなに直感に反するような結果が得られるんですか
くるる @kururu_goedel 2011-12-29 15:42:38
@kawazu1147 あ、当然だけど球を分割して組み立て直すと増やせるとかいう、俺が胎児のときに自力で証明したような自明なやつは除くよですね、わかります #かわず大先生
くるる @kururu_goedel 2011-12-29 15:47:53
. @kawazu1147 @alg_d ネタにマジレスしておきますと、選択公理と矛盾する決定性の公理のモデルから、とても強い性質を持つ選択公理の成り立つモデルを作るPmaxという手法などもありますし、選択公理の成り立たない数学は少なくとも有益です。
alg_d @alg_d 2011-12-29 15:51:20
@kururu_goedel な、何ですと… そのPmaxというのは難しいものでしょうか。
くるる @kururu_goedel 2011-12-30 14:26:23
@alg_d Pmaxは難しいです。というか、私もよくわかりません。概要は、同僚にいる数少ないPmax使いの講演で聞いたのですが。
alg_d @alg_d 2011-12-30 16:11:28
@kururu_goedel なるほど、そこまでとは。色々ありがとうございます。
@tenapi 2011-10-04 17:21:38
慣れれば匂いでわかるようになります。 RT @shinjike: 結構明示されないで使用されていますよね、選択公理ちゃん。あれ、人文学徒にはつらいからやめてほしい。
くるる @kururu_goedel 2011-10-05 10:30:51
@tenapi 私は未だに慣れてません。同僚がAD仮定してPmaxとかやっていると怖くて吐きそうです……。
くるる @kururu_goedel 2011-10-05 13:45:18
でも、PmaxはあくまでZF+ADのモデルの強制法拡大だから、L(R)を含むようなZFCのモデルを考えたとしても、あんまり本質的な影響はないのではないかと。
@patho_logic 2012-03-21 02:35:19
Pmax が攻めて来た。
@patho_logic 2012-03-21 06:12:18
Pmaxは巨大基数をどこらへんで使ってるかピンとこなくて難渋してる。
くるる @kururu_goedel 2012-03-21 23:11:57
@patho_logic うろ覚えですが、ADは強制法で超べきの極限として作ったモデルがω_1の部分集合論を全て元としてもつことをいうのに使われています。そして、多分ここだけでしょう。詳細は知らないので、その証明のどこでかはわかりません。
@patho_logic 2012-03-21 23:21:55
@kururu_goedel もうちょっと細かい話で「L[a]-ウルトラフィルターで超冪がwell-founded なものが存在するにはa#があれば十分」みたいな話でした。
くるる @kururu_goedel 2012-03-22 01:03:17
@patho_logic あれ?そこは確かに何かが必要だと思うんですが、うちの同僚がω_1の全ての部分集合をカバーするにはフルのADが不可欠と即答で断言していたんですが。
@patho_logic 2012-03-22 19:07:47
@kururu_goedel うーんちょっとわかりません。
@patho_logic 2012-03-22 07:42:57
Pmax 強制法は影で巨大基数公理が暗躍してるけどどこで何が使われてるかがわからぬ。
@patho_logic 2012-03-22 07:46:30
巨大基数関係の知識が足らんのだよな。
くるる @kururu_goedel 2012-03-24 00:14:26
あ、Pmaxの話、それ系の話にとても詳しい人からメールで教えてもらったんで、時間があったらざっと書きます。誰得なんですが、一応あることないことつぶやき続けている人間の責務でしょうし。
くるる @kururu_goedel 2012-03-25 13:57:26
Pmaxのこと、とりあえずざっくりと。
くるる @kururu_goedel 2012-03-25 14:01:13
まず、Pmaxをやるモデル上に普通の巨大基数は不要。アウターモデルに存在する必要もなし。
くるる @kururu_goedel 2012-03-27 00:56:44
Pmaxのこと続き。巨大基数そのものはモデルに必要ないけれども、generic ultrapowerをやるわけなのでprecipitous idealは存在しないといけないので可測基数は無いと困るし、一回やるだけじゃないからiterabilityが必要でつまりdaggerが必要。
くるる @kururu_goedel 2012-03-27 00:58:07
Pmax続き。でも、それだけだとあまり嬉しくなくて、最後にできた部分モデルがω_1の部分集合を全て持つことが言えて欲しい、ここにはADが必要。
残りを読む(5)
ログインして広告を非表示にする
ログインして広告を非表示にする