Form equivalence class Howard-Rubin Number: 14
Statement: If \((A_i)_{i\in I}\) is a family of distributive nontrivial bounded lattices, then there is a family \((f_i)_{i\in I}\) such thateach \(f_i\) is a prime ideal choice function on \(A_i\). Morillon [1985], \cite{1988} and Note 71.
Howard-Rubin number: 14 BU
Citations (articles):
Connections (notes):
References (books):
Back