论 locale 理论中德摩根律的无穷变体

一个 locale 作为完备 Heyting 代数，满足关于伪补的德摩根律 $(a\vee b)^*=a^*\wedge b^*$。对偶德摩根律 $(a\wedge b)^*={a^* \vee b^*}$（此处称为第二德摩根律）等价于（除其他条件外）$(a\vee b)^{**} =a^{**}\vee b^{**}$，并刻画了极端不连通 locale 的类。本文研究由第二德摩根律及其等价命题的无穷版本所确定的极端不连通 locale 的子类。