zenaの日記

麻雀と最近放置している不等式と、極希に更新しているスペクトル以外には、ここを見る価値は基本的にありません。また、管理者は気まぐれにしか更新しませんので悪しからず。

  • para-Lindelof → meta-lindelof → θ-refinable → sub-meta-Lindelof → weakly sub-meta-Lindelof → ultrapure

にT_1が必要かどうか残っているが、2月になったので本業に戻るようなそうでないような。