Form equivalence class Howard-Rubin Number: 0
Statement:
Every complete lattice is constructively \(\cal W\)-complete.
Howard-Rubin number: 0 AU
Citations (articles):
Ern'e [2001]
Constructive order theory
Connections (notes):
Note [154]
Definitions from constructive order theory
References (books):
Back