Form equivalence class Howard-Rubin Number: 67
Statement: Every complete lattice is constructively\(\cal F\)-complete. Ern\'e [2000] and Note 154
Howard-Rubin number: 67 AB
Citations (articles):
Connections (notes):
References (books):