Form equivalence class Howard-Rubin Number: 50
Statement: For any extension \(M \supseteq L\) of a compact regularframe \(L\), there is an \(s\in M\) maximal with respect to the property that\(x\lor s =1 \to x=1\) for all \(x\in L\). Banaschewski [1988],notes 29 and 60.
Howard-Rubin number: 50 D
Citations (articles):
Connections (notes):
References (books):
Back