Form equivalence class Howard-Rubin Number: 1
Statement:
Every directed partially ordered set is constructively directed. \ac{Ern\'e} \cite{2000}.
Howard-Rubin number: 1 DJ
Citations (articles):
Connections (notes):
Note [154]
Definitions from constructive order theory
References (books):
Back