Form equivalence class Howard-Rubin Number: 1
Statement: Every large subspace of the spectrum of acompact frame is compact. (A subspace is large if it containsall minimal elements.) Banaschewski [1990] and Note 29.
Howard-Rubin number: 1 DA
Citations (articles):
Connections (notes):
References (books):
Back