Statement:
\(SPI^*\): Uniform weak ultrafilter principle: For each family \(F\) of infinite sets \(\exists f\) such that \(\forall x\in F\), \(f(x)\) is a non-principal ultrafilter on \(x\).
Howard_Rubin_Number: 123
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Halpern-1972: On a question of Tarski and a maximal theorem of Kurepa
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 123 A |
Morillon [1988]
|