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