Form equivalence class Howard-Rubin Number: 370
Statement:
Measured Boolean Prime Ideal Theorem: If \(\cal B\) is a Boolean algebra and there is a measure on \(\cal B\) then there is an ultrafilter on \(\cal B\). \ac{Morillon} \cite{1989}, \cite{1990}.
Howard-Rubin number: 370 A
Citations (articles):
Connections (notes):
Note [147]
Definitions for measures on Boolean algebras.
References (books):
Back