Form equivalence class Howard-Rubin Number: 14
Statement: Every non-trivial complete distributive lattice withcompact unit has a prime ideal. Banaschewski [1985] and Note 29.
Howard-Rubin number: 14 F
Citations (articles):
Connections (notes):
References (books):
Back