Form equivalence class Howard-Rubin Number: 1
Statement: Every compact frame has a maximal element.Banaschewski [1990] and Note 29.
Howard-Rubin number: 1 CZ
Citations (articles):
Connections (notes):
References (books):