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