Form equivalence class Howard-Rubin Number: 50
Statement: For any complete Boolean algebra \(B\) andany \(C\in V^{(B)}\) such that \(V^{(B)}\models\) ``\(C\) is a Boolean algebra.''there is a \(U\in V^{(B)}\) such that \(V^{(B)}\models \) ``\(U\) is anultrafilter in \(C\).'' See [50 F] for definitions. Bell [1983].
Howard-Rubin number: 50 G
Citations (articles):
Connections (notes):
References (books):
Back