Goldbach conjecture - くるるの数学ノートの続き。 宿題にしてからずいぶん経つので簡単に書いちゃいます。ZFCとある命題が整合的であることを示すための方法としては、強制法や内部モデルがよく使われます。まあ、最近はその合わせ業が多いですが。ですが…

ようやく最新版のJ. Moore "A Solution to the L Space Problem"を読みました。草稿2回読んでいるけど毎回かなり違っていました。でもこれが一番読みやすかったです。 L spaceっていうのはhereditarily Lindelofだけどhereditarily separableでないような正…

今年もよろしくお願いいたします。