Statement:
\(C(WO\), uniformly linearly ordered): If \(X\) is a well ordered collection of non-empty sets and there is a function \(f\) defined on \(X\) such that for every \(x\in X\), \(f(x)\) is a linear ordering of \(x\), then there is a choice function for \(X\).
Howard_Rubin_Number: 337
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:
Howard-Rubin-Stanley-Keremedis-2000a: Paracompactness of metric spaces and the axiom of choice
Book references
Note connections: