Statement:
If \((E_i)_{i\in I}\) is a family of non-empty sets, then there is a family \((U_i)_{i\in I}\) such that \(\forall i\in I\), \(U_i\) is an ultrafilter on \(E_i\).
Howard_Rubin_Number: 344
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Morillon-1988: Topologie, Analyse Nonstandard et Axiome du Choix
Book references
Note connections: