Form equivalence class Howard-Rubin Number: 1
Statement:
(Where \(\cal Z\) is a subset selection such that for all partial orders \((P,\le)\), \(\cal E P\subseteq \cal Z P\subseteq \cal D P\).) Every complete lattice is \(\cal Z^\lor\)-constructively complete. \ac{Ern\'e} \cite{2000}.
Howard-Rubin number: 1 DI-$Z$
Citations (articles):
Connections (notes):
Note [154]
Definitions from constructive order theory
References (books):
Back