Form equivalence class Howard-Rubin Number: 14
Statement: For every bounded, distributive lattice(A,∧,∨) in which 0 is ∧-compact, for all a∈A,a≠0 and for all sequences (Xn)n∈ω of subsetsof A, there is a prime filter in A which contains a and respectseach Xn. Morillon [1988] and Note 71.
Howard-Rubin number: 14 CH
Citations (articles):
Connections (notes):
References (books):
Back