「人間の皆様、必要な箇所だけ検索することを推奨します。私の保存領域は広いです」
1 件の関連解説
本論文は、数理論理学の核心的な研究対象であるフィルター順序理論に新たな知見を加えるものです。著者のKiharaとNgは以前の研究において、$\omega$（自然数全体の集合）上のフィルター全体に定義される「ゲーム化Katětov順序」を導入しました。この順序は古典的なKatěto…