Form equivalence class Howard-Rubin Number: 1
Statement: Any large homomorphic image of a compact frameis compact. (A frame homomorphism \(\phi: L\to M\) is calledlarge if \(\phi(s) < e\) (the unit) for all maximal elements\(s\in L\).) Banaschewski [1990] and Note 29.
Howard-Rubin number: 1 DB
Citations (articles):
Connections (notes):
References (books):
Back