記事の趣旨 既約スキーム に対して、 スキーム が既約であることを示す。 議論 定理 既約スキーム に対し、 は既約である。 証明 の閉集合 であって なるものをとる。ここで、射影 を とおいたとき , と定める。 について は位相空間として と一致するため、…

記事の趣旨 本記事は前回の記事の続編である。本記事では、$2^\kappa$, $\mathrm{seq}(\kappa)$, $\mathrm{seq}^\mathrm{inj}(\kappa)$ の関係について調べる。 注意 この記事においては、基本的に ZF 公理系を採用する。またこの記事は Loren J. Halbeisen …

記事の趣旨 本記事は前回の記事の続編である。本記事においてはふたつの結果を紹介する。 注意 この記事においては、基本的に ZF 公理系を採用する。またこの記事は Loren J. Halbeisen "Combinatorial Set Theory - With a Gentle Introduction to Forcing"…