Form Classes

Statement:

\(SPI\): Weak ultrafilter principle: Every infinite set has a non-trivial ultrafilter.
Jech [1973b], p 172 prob 8.5.

Howard_Rubin_Number: 63

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:

Book references
The Axiom of Choice, Jech, T., 1973b

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 99, 14, 53, 69, 46-K, 47-n, 45-n, 63, 64, 70, 103, 128, 146, 152, 177, 221, 232, 267, 88, 330, 349, 344, 350, 356, 357, 379, 380, 382, 151, 278, 167, 294, 183-alpha,

Back