Consequences of the Axiom of Choice

アイコンが見えない人 @invisible_qq

kwhgs先生の授業で先生が「（選択公理やツォルンの補題、あるいはfree ultrafilterの存在を）信じるものは救われる」みたいなことを言っていた

26時の田舎のサミット @jusco_snidel

極大フィルターが孕む(選択公理厨)　#謎

26時の田舎のサミット @jusco_snidel

極大フィルターが(Fréchet フィルターを)孕むの意味

アイコンが見えない人 @invisible_qq

まあ教養学部1,2年生向けの授業でこの辺の詳細に立ち入ってもしょうがない、だが数学科の3年生としてはツォルンの補題をブラックボックスのままにしておくことはできない

ぞみ @zomi1202

そういえば、ultra filterから選択公理ってどうなんだろう。

アイコンが見えない人 @invisible_qq

選択公理おじさんの登場が待たれる＞RT

アイコンが見えない人 @invisible_qq

今日図書館で借りたNonstandardうんちゃらの本に「ultrafilterの存在は選択公理よりも弱いことが知られている」って書いてあった

ぞみ @zomi1202

なんか意外。

V-alg-d（ZZ） @alg_d

@mod_poppo http://t.co/aPU7N9S3Bi

アイコンが見えない人 @invisible_qq

@alg_d ありがとうございます

V-alg-d（ZZ） @alg_d

@mod_poppo http://t.co/ScXaigiLwz

ぞみ @zomi1202

そっか、ブール代数に持ってけば、BPIの裏返しになるのか。

アイコンが見えない人 @invisible_qq

証明も反証もできない界隈だ

ぞみ @zomi1202

それにしても、あのページ何でもそろってるんだなｗ これまで選択公理関係の疑問で、ドゥーさんのページで解決しない事が無かったんじゃないかっていうｗ

V-alg-d（ZZ） @alg_d

twitterで俺の登場待ってる暇あったら本棚のCon. AC引っ張り出したほうが早いと思いますよ。

ぞみ @zomi1202

無いｗｗｗｗｗｗｗｗｗｗｗ

V-alg-d（ZZ） @alg_d

えっ

アイコンが見えない人 @invisible_qq

「本棚のCon. AC」に言及するためには、本棚にCon. ACが存在することを示さなくては行けないのでは

アイコンが見えない人 @invisible_qq

この際だからお母さん本当のことをいいます。本棚にCon. ACがおいてある人なんて1000人に一人もいません。ドゥーちゃん、今まで隠しててごめんね。

V-alg-d（ZZ） @alg_d

Con. ACの便利さがわかるTLだった。

スマートコン @mr_konn

歩く Con. AC だ

ぞみ @zomi1202

どちらかと言えば、ドゥーさんのページの便利さが分かったTLだった。

@umichoco11

選択公理、よくわかってないけど困ったらドゥーさんのホームページを見ればいいことがわかった