Statement:
A product of non-empty compact sober topological spaces is non-empty.
Howard_Rubin_Number: 332
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:
Note 71
In this note we give definitions from Morillon [1988] for forms [14 L], [14 BP] through [14 BX],[14 CC] through [14 CH], [118 I] through [118 T], Form 331, Form 332, Form 343, Form 344 ,and [345 C] through [345 E].