Statement:
Weak Gelfand Extreme Point Theorem: If \(A\) is a non-trivial Gelfand algebra then the closed unit ball in the dual of \(A\) has an extreme point \(e\). Morillon [1986].
Howard_Rubin_Number: 370
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
Note connections:
Note 23
Definitions for forms [14 Q], [52 E],
[52 N], and 410, 411, and 412.
Note 29
Definitions for forms [14 R] through [14 U], [14 BH] through [14 BL], and [86 B]. See Banaschewski [1981], Banaschewski [1983], Banaschewski [1997], Paseka [1989], and Vickers [1989].
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 370 A | 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}. |
Note [147] |