Form equivalence class Howard-Rubin Number: 1
Statement:
Every lattice \(\langle L,\cap,\cup, \subseteq\rangle\)of sets (that is, \(L\) is a family of sets and \(\cap,\ \cup\) and \(\subseteq\) are the usual operations) with a greatest element has a maximal, proper ideal.
Howard-Rubin number: 1 AN
Citations (articles):
Bell/Fremlin [1972]
The maximal ideal theorem for lattices of sets
Connections (notes):
References (books):
Back