核心概念
本稿では、ルート系がnew line エサキア表現可能であるための必要十分条件は、十分なギャップを持ち、空でないすべての鎖が下限を持つことであることを示す。
これは、可換環のスペクトルであるルート系のLewisによる特徴付けを強化するものである。
Fornasiero, D., & Moraschini, T. (2024). Trees and spectra of Heyting algebras. arXiv preprint arXiv:2410.04215.
本論文は、ハイティング代数の素スペクトルと順序集合の関係、特に「エサキア表現可能性」と呼ばれる性質について考察する。具体的には、ルート系と呼ばれる順序集合がエサキア表現可能であるための必要十分条件を明らかにすることを目的とする。