なんで、日本ではこの二つをセットとする本や授業が多いんでしょうか？歴史的な経緯とかがあるんでしょうか。以下、amazon.comでの"set theory and topology"の検索結果と、amazon.co.jpでの「集合と位相」の検索結果。 Amazon.com: "set theory and topolog…

ゲーデルの不完全性定理の一般的な証明(改訂版) - yoriyukiの日記 こういうの苦手気味なんで、モデル理論的に書き直せないかなとバカなことを考えて、それがバカなことだと気づくまでの話を書こうと思ったのですが、後に回します。後に回すものばかりですが…

id:noripyさんのところで16パズルのことについてコメント書いて、「証明お待ちしています」と書かれたあと放置中なんですが。多分、nとmが共に2より大きいときは強同値類は二つしかないと言えると思うのですが。いつか証明書きます、はい。もし誰か既に解い…

イガさんのところでの全順序の話の続き。以下の予想が成り立たないという反例の構成をやります。 全順序で、最小元と最大元を持たず、濃度が κ の稠密部分集合を持ち、上に有界な任意の空でない部分集合が上限を持つ、稠密な集合で、その濃度がであるものは…