Form equivalence class Howard-Rubin Number: 14
Statement: Every bounded distributive lattice has a prime idealchoice function. Morillon [1988], \cite{1985} and Note 71.
Howard-Rubin number: 14 BS
Citations (articles):
Connections (notes):
References (books):
Back